Metalogic: An Introduction to the Metatheory of Standard First Order Logic (Paperback)
  • Metalogic: An Introduction to the Metatheory of Standard First Order Logic (Paperback)
zoom

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

(author)
£27.00
Paperback 302 Pages / Published: 01/07/1992
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: University of California Press
ISBN: 9780520023567
Number of pages: 302
Weight: 363 g
Dimensions: 210 x 140 x 19 mm

You may also be interested in...

Alan Turing's Systems of Logic
Added to basket
Logic for Dummies
Added to basket
£13.99
Paperback
Numbers and Proofs
Added to basket
£46.99
Paperback
Measurements and their Uncertainties
Added to basket
Sets, Logic and Categories
Added to basket
Equation That Couldn't be Solved
Added to basket
Logic
Added to basket
£10.99
Paperback
From Frege to Godel
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.