Widerspruchsfreier Aufbau einer typenfreien Logik.
Wilhelm Ackermann (1951/52)
Mathematische Zeitschrift
Similarity:
Displaying similar documents to “Der Aufbau einer höheren Logik.”
Widerspruchsfreier Aufbau einer typenfreien Logik.
Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I.
Wilhelm Ackermann (1958)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Widerspruchsfreier Aufbau einer typenfreien Logik. II.
Wilhelm Ackermann (1952/53)
Mathematische Zeitschrift
Similarity:
Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II.
Wilhelm Ackermann (1960/61)
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 ultrapowers.
Joram Hirschfeld (1980)
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:
Frege und die Schaltalgebra.
W. Hoering (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Mengeninduktion und Fundierungsaxiom.
R.B. Jensen, Max E. Schröder (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik.
Matthias Ragaz (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Kodifikation und Aussagenlogik.
Horst Luckhardt (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: