Publisher's Synopsis
A mathematics-based logic text with strong emphasis on recursion theory and a new approach emphasizing Godel's theorem building to Hilbert's "Tenth Problem". Topics discussed include propositional logic, first order languages and first order logic against a background of logic and mathematics.