Categoricity and generalized model completeness G. AhlbrandtJohn T. Baldwin OriginalPaper Pages: 1 - 4
Definable sets and expansions of models of Peano arithmetic Roman Murawski OriginalPaper Pages: 21 - 33
Productive sets and constructively nonpartial-recursive functions Akira Kanda OriginalPaper Pages: 49 - 50
The number of proof lines and the size of proofs in first order logic Jan KrajíčekPavel Pudlák OriginalPaper Pages: 69 - 84
Eine ErweiterungT(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. Jäger Kurt Schütte OriginalPaper Pages: 85 - 99