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.
Read More
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.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fair. The covers are a little smudged with shelf wear. The bottom front edge has some water damage that leeches into the pages a bit. The pages also have some underlining and notations but are very readable. A good solid copy. FAST SHIPPING & FREE TRACKING!