Definierbare Funktionen im ...-Kalkül mit Typen.
Helmut Schwichtenberg (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Helmut Schwichtenberg (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H. Bremer, C.H.H. Reynvaan (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Gerd Mitschke (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Horst Müller (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R.B. Jensen, Max E. Schröder (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Klemens Döpp (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Giorgio Germano (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Werner Markwald (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Joram Hirschfeld (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Matthias Ragaz (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: