Mathematical Logic: A First Course - Brossura

Robbin, Joel W.

Brossura

ISBN 10: 048645018X ISBN 13: 9780486450186

Casa editrice: Dover Pubns, 2006

Riassunto

Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgrounds — including mathematics, philosophy, linguistics, computer science, and engineering. It features numerous exercises of varying levels of difficulty, many with solutions.
A survey of the propositional calculus is followed by chapters on first-order logic and first-order recursive arithmetic. An examination of the arithmetization of syntax follows, along with a review of the incompleteness theorems and other applications of the Liar Paradox. The text concludes with a study of second-order logic and an appendix on set theory that will prove valuable to students with little or no mathematical background.

Su questo libro

Product Description

Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgrounds - including mathematics, philosophy, linguistics, computer science, and engineering. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.

Contenuti

1. The Propositional Calculus 2. First-Order Logic 3. First-Order Recursive Arithmetic 4. Arithmetization of Syntax 5. The Incompleteness Theorems and Other Applications of the Liar Paradox 6. Second-Order Logic Appendix Answers to Selected Exercises Suggested Reading Index

Dettagli dell'edizione

• Editore: Dover Pubns
• Data di pubblicazione: 2006
• Lingua: Inglese
• ISBN 10: 048645018X
• ISBN 13: 9780486450186
• Rilegatura: Copertina flessibile
• Numero di pagine: 212
• Contatto del produttore: Dover; info@galileo-mc.de; ; Dachauer Str. 5-7; F�rstenfeldbruck; 82256; Germania