KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (1973)

Troelstra, Anne S. [editor.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

edoccha_9959185495702883

Umfang: 1 online resource (XX, 488 p.)

Ausgabe: 1st ed. 1973.

Ausgabe: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-37806-5

Serie: Lecture Notes in Mathematics, 344

Anmerkung: Bibliographic Level Mode of Issuance: Monograph , 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. , English

In: Springer eBooks

Weitere Ausg.: ISBN 3-540-06491-5

Sprache: Englisch

DOI: 10.1007/BFb0066739

URL: http://dx.doi.org/10.1007/BFb0066739

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

Charité

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg