DigiZeitschriften - Das deutsche digitale Zeitschriftenarchiv

Das deutsche digitale Zeitschriftenarchiv

deutsch
You are here:
Table of Contents
Free access
Archiv für mathematische Logik und Grundlagenforschung
Archiv für mathematische Logik und Grundlagenforschung
Title page1PDF
Über die Kennzeichnung von Junktoren durch die Gestalt der Herleitbaren Ausdrüc...Klemens Döpp3PDF
Measures of centrality and complexity for partial propositional calculi.E. William Chapin7PDF
Jede mit Stackautomaten berechenbare Funktion ist elementar.Horst Müller19PDF
...-definierbare Funktionen auf Peanoalgebren.Gerd Mitschke31PDF
On the consistency of the generalized continuum hypothesis.Alexander Abian; James Bainbridge36PDF
Vergleich zweier Bezeichnungssysteme für Ordinalzahlen.Helmut Pfeiffer41PDF
Generalized quantifiers and well orderings.A.B. Slomson57PDF
On the relationship between weak compactness in L... and restricted second-orde...J.L. Bell74PDF
Bemerkungen über minimale Modelle.Jörg Flum79PDF
Die automorhismenmengen der Modelle einer L...-Theorie.Jörg Flum83PDF
Homomorphe-invariante Formeln in der intuitionistischen Logik.Horst Osswald86PDF
L'Axiome de la paire dans le système de Zermelo.Maurice Boffa97PDF
Dialogkalküle.P. Lorenzen99PDF
Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantore...P. Lorenzen103PDF
Unterstruktur-Invariante Formeln in der intuitionistischen Logik.Horst Osswald118PDF
Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarch...Helmut Schwichtenberg129PDF
Ein algebraischer Beweis für das Church-Rosser-Theorem.Gerd Mitschke146PDF
A calculus for finitely satisfiable formulas with identity.Arthur M. Bullock; Hubert H. Schneider158PDF
Hanf numbers and well-ordering numbers.Jörg Flum164PDF
Some categories of models.Robert Fittler179PDF
Table of contents191PDF
DigiZeitschriften is supported by Deutsche Forschungsgemeinschaft