Metalogic : An Introduction to the Metatheory of Standard First Order Logic, Paperback / softback Book

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

Paperback / softback

Available to Order - This title is available to order, with delivery expected within 2 weeks
  • Information

Description

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.

Information

Save 24%

£29.00

£21.84

Available to Order - This title is available to order, with delivery expected within 2 weeks
Add to Basket
Sign in to add to wishlist

Information