Joel W Robbin

Mathematical Logic

• Broschiertes Buch

Produktbeschreibung

This self-contained text will appeal to readers from diverse fields and varying backgrounds. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.

Produktdetails

• Verlag: Dover Publications
• Seitenzahl: 238
• Erscheinungstermin: 7. Juli 2006
• Englisch
• Abmessung: 216mm x 140mm x 12mm
• Gewicht: 259g
• ISBN-13: 9780486450186
• ISBN-10: 048645018X
• Artikelnr.: 21512497

Inhaltsangabe

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