Book:Martin Davis/Computability and Unsolvability

Subject Matter

 * Logic
 * Mathematical Logic

Source work progress
* : Still to be started. Edition to be reviewed.


 * : Appendix $1$: Some Results from the Elementary Theory of Numbers: Theorem $12$