Tell your friends about this item:
Metalogic: An Introduction to the Metatheory of Standard First Order Logic Geoffrey Hunter
Price
Íkr 5,999
excl. VAT
Ordered from remote warehouse
Expected delivery Aug 6 - 20
Get notified about new Geoffrey Hunter releases
Our customers say:
Add to your iMusic wish list
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Geoffrey Hunter
Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.
302 pages, Ill.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | June 26, 1973 |
| ISBN13 | 9780520023567 |
| Publishers | University of California Press |
| Pages | 302 |
| Dimensions | 209 × 136 × 18 mm · 400 g |
| Language | English |
