Ein verallgemeinerter Widerlegungsbegri# fur Gentzenkalkule. Archiv fur Mathematische Logik und Grundlagenforschung (1969)

by Franz von Kutschera