On Kalmar's consistency proof and a generalization of the notion of ω-consistency George S. Boolos OriginalPaper Pages: 3 - 7
Zur Theorie Der Spektralen Darstellung Von Prädikaten Durch Ausdrücke Der Prädikatenlogik 1. Stufe Michael Deutsch OriginalPaper Pages: 9 - 16
Combinatorial systems defined over one- and two-letter alphabets Charles E. HughesW. E. Singletary OriginalPaper Pages: 25 - 33
Embedding relations in the lattice of recursively enumerable sets Donald A. Alton OriginalPaper Pages: 37 - 41
A note on undecidable extensions of monadic second order successor arithmetic Wolfgang Thomas OriginalPaper Pages: 43 - 44
Ein Vollständigkeitsbeweis Für Die Aussagenlogischen ModalitätensystemeM, S 4,Br UndS 5 J. Czermak OriginalPaper Pages: 45 - 49
Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik Wilfried Buchholz OriginalPaper Pages: 55 - 60
The recursive sets in certain monadic second order fragments of arithmetic Dirk Siefkes OriginalPaper Pages: 71 - 80