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)

Inhalt

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.

Produkt-Details

• 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