ENGLISH

Metalogic

By Geoffrey Hunter

Book information

Publisher
Macmillan
Year
1971
ISBN
0333115899, 9780333115893
LCC
BC128 .H85 1971b
Open Library ID
OL5735802M
Language
english
Format
DJVU
Filesize
6 MB (6250650 bytes)
Pages
300\300
Topic
Mathematics Logic
DPI
600
Time added
2014-10-05 02:30:00

Description

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.

Similar books