Proof Theory (eBook)

Artikelnummer: 978-3-642-66473-1
Einband: PDF
Verfügbarkeit: Download, sofort verfügbar (Link per E-Mail)
CHF 153.50
decrease increase

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.

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.

Schreiben Sie Ihre eigene Bewertung
  • Nur registrierte Benutzer können Produkte bewerten
*
*
Schlecht
Sehr gut
*
*
*
*
VerlagSpringer Berlin Heidelberg
EinbandPDF
Erscheinungsjahr2012
Seitenangabe302 S.
AusgabekennzeichenEnglisch
AbbildungenXII, 302 p.
Masse21'896 KB
PlattformPDF
ReiheGrundlehren der mathematischen Wissenschaften; Mathematics and Statistics; Mathematics and Statistics
AutorSchütte, K. / Crossley, J. N. (Übers.)

Alle Bände der Reihe "Grundlehren der mathematischen Wissenschaften; Mathematics and Statistics; Mathematics and Statistics (R0)"

Weitere Titel von K. Schütte

Produktbewertungen
Nur registrierte Benutzer können Produkte bewerten