Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität J. AvenhausK. Madlener OriginalPaper Pages: 3 - 12
Eine beweistheoretische Anwendung partieller stetiger Funktionale H. Vogel OriginalPaper Pages: 65 - 78
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen Martin Wirsing OriginalPaper Pages: 97 - 109
Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen Egon Börger OriginalPaper Pages: 111 - 114
Équivalence naturelle et formules logiques en théorie des catégories Georges Blanc OriginalPaper Pages: 131 - 137
Consistency proof without transfinite induction for a formal system for turing machines Salvatore Caporaso OriginalPaper Pages: 157 - 164
Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen H. Vogel OriginalPaper Pages: 165 - 173