An Introduction to Mathematical Logic

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.