Die Vollständigkeit einer unverzweigten Variante des "analytischen" Entscheidungsverfahrens der klassischen Logik.
Lorenzen, P.
Archiv für mathematische Logik und Grundlagenforschung, Tome 18 (1977), p. 19-22 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1977-01-01
EUDML-ID : urn:eudml:doc:137923 
@article{GDZPPN002044722,
     title = {Die Vollst\"andigkeit einer unverzweigten Variante des "analytischen" Entscheidungsverfahrens der klassischen Logik.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {18},
     year = {1977},
     pages = {19-22},
     zbl = {0344.02009},
     url = {http://dml.mathdoc.fr/item/GDZPPN002044722}
}

Lorenzen, P. Die Vollständigkeit einer unverzweigten Variante des "analytischen" Entscheidungsverfahrens der klassischen Logik.. Archiv für mathematische Logik und Grundlagenforschung, Tome 18 (1977) pp. 19-22. http://gdmltest.u-ga.fr/item/GDZPPN002044722/