|
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
|
| List Price: | £17.95 |
| Price: | £17.05 & eligible for FREE Super Saver Delivery on orders over £5. Details |
Availability: Usually dispatched within 24 hours
Dispatched from and sold by Amazon.co.uk
19 new or used available from £11.18
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: #427042 in Books
- Published on: 1992-07-01
- Original language: English
- Number of items: 1
- Binding: Paperback
- 302 pages
Customer Reviews
Utterly indispensable
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.
