Thomas Forster

Logic, Induction and Sets

• Broschiertes Buch

Produktbeschreibung

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

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 246
• Erscheinungstermin: 1. Oktober 2014
• Englisch
• Abmessung: 229mm x 152mm x 13mm
• Gewicht: 362g
• ISBN-13: 9780521533614
• ISBN-10: 0521533619
• Artikelnr.: 21655931

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.