Goodreads helps you keep track of books you want to read.
Start by marking “Introduction to Mathematical Logic” as Want to Read:
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.
Paperback, 512 pages
Published September 1st 1997 by PWS Pub. Co.
(first published 1995)
To see what your friends thought of this book, please sign up.