Das deutsche digitale Zeitschriftenarchiv
Free access
On Kalmar's consistency proof and a generalization of the notion of ...-consist...George S. Boolos3PDF
Zur Theorie der spektralen Darstellung von Prädikaten durch Ausdrücke der Prädi...Michael Deutsch9PDF
A type-open minimal model.Leo Marcus17PDF
Combinatorial systems defined over one- and two-letter alphabets.Ch.E. Hughes; W.E. Singletary25PDF
A characterization of r-maximal sets.Donald A. Alton35PDF
On the decidability of p', p'' and p''*.N. Georgieva51PDF
Über Hilbert's reale und ideale Elemente.Horst Luckhardt61PDF
Liberated versions of T, S4, and S5.Charles G. Morgan85PDF
Model-interpretability into trees and applications.I. Korec; W. Rautenberg97PDF
Die m-Grade logischer Entscheidungsprobleme.E. Börger; Klaus Heidler105PDF
Definierbare Funktionen im ...-Kalkül mit Typen.Helmut Schwichtenberg113PDF
Quasi-axiomatic classes.Klaus KAISER129PDF
Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen.H. Bremer; C.H.H. Reynvaan135PDF
On interpolation when function symbols are present.Walter Felscher145PDF
Interpolation formulae for predicates and terms which carry their own history.Jürgen Schulte-Mönting159PDF
Einführung der Normalfunktionen ... ohne Auswahlaxiom und ohne Regularitätsbedi...Kurt Schütte171PDF
Die Beziehungen zwischen den Ordinalzahlensystemen ... und ...(...).K. Schütte; W. Buchholz179PDF