Metalogic: An introduction to the metatheory of standard...

Main
Society, Politics & Philosophy - Anthropology
Metalogic: An introduction to the...

Metalogic: An introduction to the metatheory of standard first order logic

Name: Metalogic: An introduction to the metatheory of standard first order logic
ISBN: 9780520023567

Hunter G.

0 / 0

0 comments

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

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.

Κατηγορίες:

Society, Politics & Philosophy - Anthropology

Έτος:

1996

Εκδότης:

Univ. California

Γλώσσα:

english

Σελίδες:

302

ISBN 10:

0520023560