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 (1965)
- Volume: 8, page 3-27
- ISSN: 0003-9268
Access Full Article
topHow to cite
topStegmü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 8 (1965): 3-27. <http://eudml.org/doc/137779>.
@article{Stegmüller1965,
author = {Stegmüller, Wolfgang},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {general logic},
pages = {3-27},
title = {Die Äquivalenz des klassischen und intutionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in kleenes Kalkül H.},
url = {http://eudml.org/doc/137779},
volume = {8},
year = {1965},
}
TY - JOUR
AU - Stegmüller, Wolfgang
TI - Die Äquivalenz des klassischen und intutionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in kleenes Kalkül H.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1965
VL - 8
SP - 3
EP - 27
KW - general logic
UR - http://eudml.org/doc/137779
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.