0
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: R740
Discovery Miles 7 400
You Save: R60 (7%)
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)
List price R800 Loot Price R740 Discovery Miles 7 400 | Repayment Terms: R69 pm x 12* You Save R60 (7%)

Bookmark and Share

Expected to ship within 12 - 17 working days

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

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,225 Discovery Miles 52 250
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R579 Discovery Miles 5 790
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R435 Discovery Miles 4 350
The Art of Logic - How to Make Sense in…
Eugenia Cheng Paperback  (1)
R355 R317 Discovery Miles 3 170
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R85 Discovery Miles 850
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R531 Discovery Miles 5 310
Algebras, Lattices, Varieties - Volume…
Ralph S Freese, Ralph N. McKenzie, … Paperback R3,219 Discovery Miles 32 190
Theory and Applications of…
Florentin Smarandache, Madeline Al-Tahan Hardcover R7,211 Discovery Miles 72 110
Advances and Applications of Fuzzy Sets…
Said Broumi Hardcover R11,492 Discovery Miles 114 920
Temporal Logic: From Philosophy And…
Klaus Mainzer, Stefania Centrone Hardcover R2,051 Discovery Miles 20 510
The Cloud of Unknowing - A Book Of…
Evelyn Underhill Hardcover R571 Discovery Miles 5 710
Ultrafilters Throughout Mathematics
Isaac Goldbring Paperback R2,250 Discovery Miles 22 500

See more

Partners