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
₺ 2,023
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 4 - 17
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

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 )