Die Vollständigkeit einer unverzweigten Variante des „analytischen“ Entscheidungsverfahrens der klassischen Logik P. Lorenzen OriginalPaper Pages: 19 - 22
Built-up systems of fundamental sequences and hierarchies of number-theoretic functions Diana Schmidt OriginalPaper Pages: 47 - 53
A simple tree lemma and its application to a counterexample of philips Klaus Potthoff OriginalPaper Pages: 67 - 71
Ein starker Normalisationssatz für die bar-rekursiven Funktionale Helmut Von Vogel OriginalPaper Pages: 81 - 84
Some remarks about the connections between Combinatory Logic and axiomatic recursion theory Roger HindleyGerd Mitschke OriginalPaper Pages: 99 - 103
The theory of differentially closed fields in logics with cardinal quantifiers J. Cowles OriginalPaper Pages: 105 - 114
Postscript to “built-up systems of fundamental sequences and hierarchies of number-theoretic functions” Diana Schmidt OriginalPaper Pages: 145 - 146
A partial comparison of two conditions on the intersections of regressive sets T. G. Von McLaughlin OriginalPaper Pages: 159 - 167
On minimal pairs and minimal degrees in higher recursion theory Wolfgang Maass OriginalPaper Pages: 169 - 186