Harmonische Analysis bei Aussagenkalkülen.
Roman Liedl (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Eine Funktionalinterpretation der prädikativen Analysis.”
Harmonische Analysis bei Aussagenkalkülen.
Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.
Wolfgang Friedrich (1984)
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:
Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik.
Kurt Schütte (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Eine Variante des Ordinalzahlbezeichnungssystems ... .
H. Vogel (1982)
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:
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:
Ü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:
Eine Unableitbarkeitsmethode für den intuitionistischen Aussagenkalkül.
G. Kreisel, H. Putnam (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: