Eine Funktionalinterpretation der prädikativen Analysis.
Wolfgang Maaß (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.”
Eine Funktionalinterpretation der prädikativen Analysis.
Harmonische Analysis bei Aussagenkalkülen.
Roman Liedl (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Der Aufbau einer höheren Logik.
Wilhelm Ackermann (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Compendium der höheren Analysis Bd. 1
Oskar Schlömilch
Similarity:
Compendium der höheren Analysis Bd. 1
Oskar Schlömilch
Similarity:
Charakterisierung der Aufzählungsreduzierbarkeit.
Friedrich Hebeisen (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Komplexität von Algorithmen mit Anwendung auf die Analysis.
Claus-Peter Schnorr (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Freges Begründung der Analysis.
Franz v. Kutschera (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Vorlesungen über einzelne Theile der höheren Analysis Bd. 2
Oskar Schlömilch
Similarity:
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik.
Matthias Ragaz (1983)
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: