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

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

Price
£ 35.99

Ordered from remote warehouse

Expected delivery Jan 8 - 19, 2026
Christmas presents can be returned until 31 January

Our customers say:

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

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  

More by Geoffrey Hunter

Show all

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