Metalogic _ An Introduction to the Metatheory of Standard First-Order Logic

Hunter, Geoffrey

ISBN 10: 0333115902 / ISBN 13: 9780333115909

Editore: Macmillan, London, 1971

Riguardo questo articolo

wraps, 288 pp covers worn on the edges foxing on the edges Standard shipping (no tracking or insurance) / Priority (with tracking) / Custom quote for large or heavy orders.

Codice articolo 100184

Dati bibliografici

• Titolo: Metalogic _ An Introduction to the Metatheory of Standard First-Order Logic
• Editore: Macmillan, London
• Data di pubblicazione: 1971
• Lingua: Inglese
• ISBN 10: 0333115902
• ISBN 13: 9780333115909
• Rilegatura: Paperback
• Edizione: Paperback Octavo.
• Condizione: Good
• Cataloghi dei venditori:
  • Mathematics

Descrizione articolo

Riassunto

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.