Interpretationen der Heyting-Arithmetik endlicher Typen.
Martin Stein (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.”
Interpretationen der Heyting-Arithmetik endlicher Typen.
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.
Justus Diller, Werner Nahm (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Beweistheorie von KPN.
Gerhard Jäger (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Die Beziehungen zwischen den Ordinalzahlensystemen ... und ...(...).
K. Schütte, W. Buchholz (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Über das Markov-Prinzip.
Horst Luckhardt (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Das Auflösungsproblem in der Klassenlogik.
Heinrich Behmann (1950/52)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Über die Homogenisierbarkeit von Rechenprogrammen.
Klemens Döpp (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Metamathematische Begriffe in Standardtheorien.
Giorgio Germano (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Generalized quantifiers and well orderings.
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Generalized ultrapowers.
Joram Hirschfeld (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Frege und die Schaltalgebra.
W. Hoering (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Das Vereinfachungsproblem für aussagenlogische Normalformen.
Heinrich Behmann (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: