Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Seiten
1973
|
1973
Springer Berlin (Verlag)
978-3-540-06491-6 (ISBN)
Springer Berlin (Verlag)
978-3-540-06491-6 (ISBN)
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 |
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 |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Übungsbuch für Fachhochschulen
Buch | Hardcover (2023)
Carl Hanser (Verlag)
16,99 €