Das deutsche digitale Zeitschriftenarchiv
Free access
Prädikatenlogik mit partiell definierten Funktionen.Werner Markwald10PDF
Mehrsortige logische Systeme mit unendlich langen Formeln I.Werner Carstengerdes38PDF
Komplexität von Algorithmen mit Anwendung auf die Analysis.Claus-Peter Schnorr54PDF
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.Kurt Schütte; Justus Diller69PDF
A characterization of Takeuti's ordinal diagrams of finite order.Kurt Schütte; Hilbert Levitz75PDF
Mehrsortige logische Systeme mit unendlich langen Formeln II.Werner Carstengerdes108PDF
Stackautomaten in Labyrinthen.Horst Müller127PDF
Die Problematik apriorischer Wahrscheinlichkeiten im System der induktiven Logi...Jürgen Humburg135PDF
Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk...Dieter Klemke148PDF
A finitely Axiomatizable complete theory with atomless F1 (T).A. Ehrenfeucht; Fuhrken162PDF
On models with large automorphism groups.H.-D. Ebbinghaus179PDF
Hierarchies of number - theoretic functions I, II: a correction.M.H. Löb; S.S. Wainer198PDF