Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II.
Wilhelm Ackermann (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Wilhelm Ackermann (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
J. Czermak (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Franz v. Kutschera (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Jürgen-Michael Glubrecht (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Horst Luckhardt (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Klemens Döpp (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Joram Hirschfeld (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Giorgio Germano (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Matthias Ragaz (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R.B. Jensen, Max E. Schröder (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: