Mehrsortige Logische Systeme mit Unendlich langen Formeln II Werner Carstengerdes OriginalPaper Pages: 108 - 126
Die Problematik apriorischer Wahrscheinlichkeiten im System der induktiven Logik von Rudolf Carnap Jürgen Humburg OriginalPaper Pages: 135 - 147
Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik Dieter Klemke OriginalPaper Pages: 148 - 161
A finitely axiomatizable complete theory with atomlessF 1(T) A. EhrenfeuchtG. Fuhrken OriginalPaper Pages: 162 - 166
Hierarchies of number-theoretic functions I, II: A correction M. H. LöbS. S. Wainer OriginalPaper Pages: 198 - 199