Joel W Robbin

Mathematical Logic

A First Course

• 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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

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

Autorenporträt

Joel W. Robbin is a Professor of Mathematics at the University of Wisconsin.

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