Die Vollständigkeit des Operatorensystems {..., ..., ..., ...} für die intuituionistische Aussagenlogik im Rahmen der Gentzensemantik.
Kutschera, Franz v.
Archiv für mathematische Logik und Grundlagenforschung, Tome 11 (1967), p. 3-16 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1967-01-01
EUDML-ID : urn:eudml:doc:137803 
@article{GDZPPN002043513,
     title = {Die Vollst\"andigkeit des Operatorensystems {..., ..., ..., ...} f\"ur die intuituionistische Aussagenlogik im Rahmen der Gentzensemantik.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {11},
     year = {1967},
     pages = {3-16},
     language = {de},
     url = {http://dml.mathdoc.fr/item/GDZPPN002043513}
}

Kutschera, Franz v. Die Vollständigkeit des Operatorensystems {..., ..., ..., ...} für die intuituionistische Aussagenlogik im Rahmen der Gentzensemantik.. Archiv für mathematische Logik und Grundlagenforschung, Tome 11 (1967) pp. 3-16. http://gdmltest.u-ga.fr/item/GDZPPN002043513/