Geodesic

Tome 14 (1971)

Sommaire

Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen.
p. 3-9
Prädikatenlogik mit partiell definierten Funktionen.
p. 10-23
Ganzgeschlossene und prädikatgeschlossene Logiken I.
p. 24-37
Mehrsortige logische Systeme mit unendlich langen Formeln I.
p. 38-53
Komplexität von Algorithmen mit Anwendung auf die Analysis.
p. 54-68
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.
p. 69-74
A characterization of Takeuti's ordinal diagrams of finite order.
p. 75-98
Ganzgeschlossene und prädikatgeschlossene Logiken II.
p. 99-107
Mehrsortige logische Systeme mit unendlich langen Formeln II.
p. 108-126
Stackautomaten in Labyrinthen.
p. 127-134
Die Problematik apriorischer Wahrscheinlichkeiten im System der induktiven Logik von Rudolf Carnap.
p. 135-147
Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik.
p. 148-161
A finitely Axiomatizable complete theory with atomless F1 (T).
p. 162-166
Synthetic compontents of infinite classes of postulates.
p. 167-178
On models with large automorphism groups.
p. 179-197
Hierarchies of number - theoretic functions I, II: a correction.
p. 198-200