Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle Franz v. Kutschera OriginalPaper Pages: 104 - 118
Mengeninduktion und Fundierungsaxiom Ronald Björn JensenMax E. Schröder OriginalPaper Pages: 119 - 133
Schnittelimination in einem Teilsystem der einfachen Typenlogik Wolfgang Bibel OriginalPaper Pages: 159 - 178