Thomas Forster

Logic, Induction and Sets

• Gebundenes Buch

Produktbeschreibung

This is an introduction to logic and the axiomatization of set theory from a unique standpoint.

---

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

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 246
• Erscheinungstermin: 25. September 2003
• Englisch
• Abmessung: 235mm x 157mm x 19mm
• Gewicht: 555g
• ISBN-13: 9780521826211
• ISBN-10: 0521826217
• Artikelnr.: 26716899

Inhaltsangabe

1. Definitions and notations
2. Recursive datatypes
3. Partially ordered sets
4. Propositional calculus
5. Predicate calculus
6. Computable functions
7. Ordinals
8. Set theory
9. Answers to selected questions.