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

Hunter, Geoffrey

Brossura

ISBN 10: 0333115902 ISBN 13: 9780333115909

Casa editrice: Palgrave, 1971

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.

Dettagli dell'edizione

• Editore: Palgrave
• Data di pubblicazione: 1971
• Lingua: Inglese
• ISBN 10: 0333115902
• ISBN 13: 9780333115909
• Rilegatura: Copertina flessibile
• Numero di pagine: 304
• Contatto del produttore: non disponibile
• Persona responsabile: Simone Casetta; 0039 275422215; casetta@mondadori.it; ; Via Mondadori 1,; Segrate Milano; 20090; Italia