Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle. Archiv für Mathematische Logik und Grundlagenforschung (1969)

by Franz von Kutschera