Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	November 2011
Genre:	Schulbücher
	Beweistheorie / Calculus / finite / Function / ordinal / predicatelogic / Proof / ProofTheory / Typetheory mehr...
ISBN:	9783642664755
EAN-Code:	9783642664755
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 244 mm / B 170 mm / D 18 mm
Gewicht:	555 gr
Seiten:	320
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

A. Pure Logic.- I. Fundamentals.- II. Classical Predicate Calculus.- III. Intuitionistic Predicate Calculus.- IV. Classical Simple Type Theory.- B. Systems of Arithmetic.- V. Ordinal Numbers and Ordinal Terms.- VI. Functional of Finite Type.- VII. Pure Number Theory.- C. Subsystems of Analysis.- VIII. Predicative Analysis.- IX. Higher Ordinals and Systems of ?11-Analysis.