Das deutsche digitale Zeitschriftenarchiv
Free access
Ein Bezeichnungssystem für Ordinalzahlen.Helmut Pfeiffer12PDF
Kodifikation und Aussagenlogik.Horst Luckhardt18PDF
Primitiv-rekursive Funktionen auf Termmengen.Friedrich-Karl Mahn54PDF
A note on k-axiomatisations of identity.Joan Rand Moschovakis76PDF
Open formulas and the empty domain.H. Leblanc; R.K. Meyer78PDF
Rekursionszahlen und die Grzegorczyk-Hierarchie.Helmut Schwichtenberg85PDF
On inaccessible cardinal numbers.Alexander Abian99PDF
Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle.Franz v. Kutschera104PDF
Mengeninduktion und Fundierungsaxiom.R.B. Jensen; Max E. Schröder119PDF
A liberated version of S5.R. Meyer; H. Leblanc; K. Lambert151PDF
Decision procedures for S3... and S4.. .J. Jay Zeman155PDF