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

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

Price:

This item is not available for purchase from this store.
Click here to go to Amazon to see other purchasing options.


16 new or used available from £6.44

Average customer review:

Product Description

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard, basically truth-functional first order logic. It also explains concepts of mathematics and set theory for non-mathematicians.

Product Details

  • Amazon Sales Rank: #181685 in Books
  • Published on: 1992-07-01
  • Original language: English
  • Number of items: 1
  • Binding: Paperback
  • 302 pages

Editorial Reviews

Review
"A remarkable book, in a class by itself among logic books. It has the ideal combination of readability, thoroughness, and preciseness. . . . Recommended not only as a first course text, but also as painless, indeed pleasurable reading."--"Computing Reviews

Customer Reviews

Utterly indispensable5
Metalogic is an excellent introduction to the metatheory of classical first order logic. It is suitable for students that have undergone, or are undergoing, a first course in standard logic. It discusses, in a non technical way, such results as completeness, consistency, decideability , truth functional adequacy, Church's thesis, Godels theorems, Omega- inconsistency and much more. An indispensable addition to the library of any philosopher or logician.