Name: Metalogic: An Introduction to the Metatheory of Standard First Order Logic
SKU: 3929058
Price: 48.06 EUR
Availability: InStock
Author: Geoffrey Hunter
ISBN: 9780520023567

Select your country

Americas

Europe

Rest of the world

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

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

Type

Physical Book

Publisher

University Of California Press

Author

Geoffrey Hunter

Year

1996

Language

English

Pages

304

Format

Paperback

Weight

0.75

ISBN

0520023560

ISBN13

9780520023567

Edition No.

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

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

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

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

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery