Geodesic
Das Vereinfachungsproblem für aussagenlogische Normalformen.
Archiv für mathematische Logik und Grundlagenforschung, Tome 5 (1960), pp. 65-89.

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

Mots-clés : mathematical logic 
@article{AMLG_1960__5_137753,
     author = {Heinrich Behmann},
     title = {Das {Vereinfachungsproblem} f\"ur aussagenlogische {Normalformen.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {65--89},
     publisher = {mathdoc},
     volume = {5},
     year = {1960},
     zbl = {0117.01002},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1960__5_137753/}
}
TY  - JOUR
AU  - Heinrich Behmann
TI  - Das Vereinfachungsproblem für aussagenlogische Normalformen.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1960
SP  - 65
EP  - 89
VL  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1960__5_137753/
ID  - AMLG_1960__5_137753
ER  - 
%0 Journal Article
%A Heinrich Behmann
%T Das Vereinfachungsproblem für aussagenlogische Normalformen.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1960
%P 65-89
%V 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1960__5_137753/
%F AMLG_1960__5_137753
Heinrich Behmann. Das Vereinfachungsproblem für aussagenlogische Normalformen.. Archiv für mathematische Logik und Grundlagenforschung, Tome 5 (1960), pp. 65-89. http://geodesic.mathdoc.fr/item/AMLG_1960__5_137753/