Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen Jörg Flum OriginalPaper Pages: 3 - 9
Mehrsortige logische Systeme mit unendlich langen Formeln I Werner Carstengerdes OriginalPaper Pages: 38 - 53
Komplexität von Algorithmen mit Anwendung auf die Analysis Claus-Peter Schnorr OriginalPaper Pages: 54 - 68
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen Justus DillerKurt Schütte OriginalPaper Pages: 69 - 74
A characterization of Takeuti's ordinal diagrams of finite order Hilbert LevitzKurt Schütte OriginalPaper Pages: 75 - 97