Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Buy Now

Metalogic - An Introduction to the Metatheory of Standard First Order Logic (Paperback, Revised) Loot Price: R1,132

Discovery Miles 11 320

Repayment Terms: R106 pm x 12*

Add to cart

Metalogic - An Introduction to the Metatheory of Standard First Order Logic (Paperback, Revised): Geoffrey Hunter

Metalogic - An Introduction to the Metatheory of Standard First Order Logic (Paperback, Revised)

Geoffrey Hunter

(sign in to rate)

Loot Price R1,132 Discovery Miles 11 320 | Repayment Terms: R106 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	University of California Press
Country of origin:	United States
Release date:	June 1973
First published:	1973
Authors:	Geoffrey Hunter
Dimensions:	210 x 140 x 20mm (L x W x T)
Format:	Paperback - Trade
Pages:	302
Edition:	Revised
ISBN-13:	978-0-520-02356-7
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Promotions
LSN:	0-520-02356-0
Barcode:	9780520023567