You have Guest access.
Log In
Volume 1 / 1950 - Volume 51 / 2012
From volume 1 to 26 this journal was published as Archiv für mathematische Logik und Grundlagenforschung.
99-103
On inaccessible cardinal numbers
Alexander Abian
104-118
Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
Franz v. Kutschera
119-133
Mengeninduktion und Fundierungsaxiom
Ronald Björn Jensen and Max E. Schröder
134-150
Eine Verallgemeinerung des Hauptsatzes von Gentzen
Peter Zahn
151-154
A liberated version of S5
Karel Lambert, Hugues Leblanc and Robert Meyer
155-158
Decision procedures for S3∘ and S4∘
J. Jay Zeman
159-178
Schnittelimination in einem Teilsystem der einfachen Typenlogik
Wolfgang Bibel
179-193
Überfür-fast-alle-Quantoren
Heinz-Dieter Ebbinghaus
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info