Metalogic: An Introduction to the Metatheory of Standard First Order Logic - Geoffrey Hunter - Books - University of California Press - 9780520023567 - June 26, 1973
In case cover and title do not match, the title is correct

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Geoffrey Hunter

Price
$ 47.49

Ordered from remote warehouse

Expected delivery Nov 28 - Dec 11

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

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  
Show all

More by Geoffrey Hunter

See all of Geoffrey Hunter ( e.g. Paperback Book and Hardcover Book )