Geodesic
Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle.
Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972), pp. 103-117.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

@article{AMLG_1972__15_137873,
     author = {P. Lorenzen},
     title = {Zur {Konstruktiven} {Deutung} der semantischen {Vollst\"andigkeit} klassischer {Quantoren-} und {Modalkalk\"ule.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {103--117},
     publisher = {mathdoc},
     volume = {15},
     year = {1972},
     zbl = {0305.02024},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1972__15_137873/}
}
TY  - JOUR
AU  - P. Lorenzen
TI  - Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1972
SP  - 103
EP  - 117
VL  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1972__15_137873/
ID  - AMLG_1972__15_137873
ER  - 
%0 Journal Article
%A P. Lorenzen
%T Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1972
%P 103-117
%V 15
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1972__15_137873/
%F AMLG_1972__15_137873
P. Lorenzen. Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle.. Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972), pp. 103-117. http://geodesic.mathdoc.fr/item/AMLG_1972__15_137873/