ISBN is

978-0-520-02356-7 / 9780520023567

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

by

Publisher:University of California Press

Edition:Softcover

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 - 25 of 67

   

Used books: 1 - 25 of 104


Book rentals: