TY  - JOUR
AU  - Franz v. Kutschera
TI  - Die Vollständigkeit des Operatorensystems {..., ..., ..., ...} für die intuituionistische Aussagenlogik im Rahmen der Gentzensemantik.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1967
SP  - 3
EP  - 16
VL  - 11
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1967__11_137803/
LA  - de
ID  - AMLG_1967__11_137803
ER  -