%0 Journal Article
%A Wolfgang Stegmüller
%T Die Äquivalenz des klassischen und intutionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in kleenes Kalkül H.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1965
%P 3-27
%V 8
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1965__8_137779/
%F AMLG_1965__8_137779