Blick ins Buch

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Anne S. Troelstra (Herausgeber)

Buch | Softcover

XX, 488 Seiten

1973 | 1973
Springer Berlin (Verlag)
978-3-540-06491-6 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

...gebraucht verfügbar!

Zustand: Akzeptabel 31,60 €

Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.- Erratum.

Erscheint lt. Verlag	14.11.1973
Reihe/Serie	Lecture Notes in Mathematics
Zusatzinfo	XX, 488 p.
Verlagsort	Berlin
Sprache	englisch
Maße	170 x 250 mm
Gewicht	699 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	arithmetic • Calculus • Function • Intuitionistische Mathematik • Mathematik • ordinal • Theorem
ISBN-10	3-540-06491-5 / 3540064915
ISBN-13	978-3-540-06491-6 / 9783540064916
Zustand	Neuware