ISBN is

978-0-520-01822-8 / 9780520018228

Metalogic: An introduction to the metatheory of standard first order logic

by

Publisher:University of California Press

Edition:Hardcover

Language:English

Prices INCLUDE standard shipping to United States
Show prices without shipping
Change shipping destination/currency
Shipping prices may be approximate. Please verify cost before checkout.

About the book:

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.

Search under way...

Search complete.

Click on the price to find out more about a book.

New books: 1 - 16 of 16

   

Used books: 1 - 25 of 60