Die Äquivalenz des klassischen und intutionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in kleenes Kalkül H.
Stegmüller, Wolfgang
Archiv für mathematische Logik und Grundlagenforschung, Tome 8 (1965), p. 3-27 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1965-01-01
EUDML-ID : urn:eudml:doc:137779 
@article{GDZPPN002043270,
     title = {Die \"Aquivalenz des klassischen und intutionistischen Ableitungsbegriffs im Gentzen-Quine-Kalk\"ul und in kleenes Kalk\"ul H.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {8},
     year = {1965},
     pages = {3-27},
     zbl = {0178.30601},
     url = {http://dml.mathdoc.fr/item/GDZPPN002043270}
}

Stegmüller, Wolfgang. Die Äquivalenz des klassischen und intutionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in kleenes Kalkül H.. Archiv für mathematische Logik und Grundlagenforschung, Tome 8 (1965) pp. 3-27. http://gdmltest.u-ga.fr/item/GDZPPN002043270/