Eine Funktionalinterpretation der prädikativen Analysis.
Wolfgang Maaß (1977)
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.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: