Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik (German)
National licence
- New search for: Gentzen, Gerhard
- New search for: Gentzen, Gerhard
In:
Archiv für mathematische Logik und Grundlagenforschung
;
16
, 3
;
119-132
;
1974
- Article (Journal) / Electronic Resource
-
Title:Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
-
Contributors:Gentzen, Gerhard ( author )
-
Published in:Archiv für mathematische Logik und Grundlagenforschung ; 16, 3 ; 119-132
-
Publisher:
- New search for: Springer-Verlag
-
Place of publication:Berlin/Heidelberg
-
Publication date:1974-08-01
-
Size:14 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:German
-
Keywords:
-
Source:
Table of contents – Volume 16, Issue 3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 97
-
Der erste Widerspruchsfreiheitsbeweis für die klassische ZahlentheorieGentzen, Gerhard et al. | 1974
- 119
-
Über das Verhältnis zwischen intuitionistischer und klassischer ArithmetikGentzen, Gerhard et al. | 1974
- 133
-
On some properties a projective model class passes on to the generated axiomatic classArmbrust, Manfred / Kaiser, Klaus et al. | 1974
- 137
-
Completeness of cut-free type theoriesYasuhara, Mitsuru et al. | 1974
- 143
-
On necessary but not-sufficient conditionsSakai, Hidehisa et al. | 1974
- 147
-
Disjunctive properties of intuitionistic systemsScarpellini, B. et al. | 1974
- 159
-
Arithmetische Prädikate über einem Bereich endlicher AutomatenOttmann, Th. et al. | 1974
- 177
-
On 2nd order intuitionistic propositional calculus with full comprehensionGabbay, Dov M. et al. | 1974
- 187
-
An extension of the Kreisel-Putnam systemGeorgieva, N. et al. | 1974