Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Seiten
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 |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| 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)
CHF 23,75
