Further applications of ultra-conservative ω-rules E. G. K. López-Escobar OriginalPaper Pages: 89 - 102
Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen Gerhard Jäger OriginalPaper Pages: 121 - 139
On orderings of the family of all logics Michał KrynickiJouko Väänänen OriginalPaper Pages: 141 - 158
Ein Vollständigkeitsbeweis Für Schnittfreie Kalküle Mit Der Maximalisierungsmethode Von Henkin Jürgen-Michael Glubrecht OriginalPaper Pages: 159 - 166