Die Vollständigkeit des Operatorensystems {..., ..., ..., ...} für die intuituionistische Aussagenlogik im Rahmen der Gentzensemantik.
Archiv für mathematische Logik und Grundlagenforschung (1967)
- Volume: 11, page 3-16
- ISSN: 0003-9268
Access Full Article
top
How to cite
topKutschera, Franz v.. "Die Vollständigkeit des Operatorensystems {..., ..., ..., ...} für die intuituionistische Aussagenlogik im Rahmen der Gentzensemantik.." Archiv für mathematische Logik und Grundlagenforschung 11 (1967): 3-16. <http://eudml.org/doc/137803>.
@article{Kutschera1967,
author = {Kutschera, Franz v.},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {general logic},
language = {ger},
pages = {3-16},
title = {Die Vollständigkeit des Operatorensystems \{..., ..., ..., ...\} für die intuituionistische Aussagenlogik im Rahmen der Gentzensemantik.},
url = {http://eudml.org/doc/137803},
volume = {11},
year = {1967},
}
TY - JOUR
AU - Kutschera, Franz v.
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
VL - 11
SP - 3
EP - 16
LA - ger
KW - general logic
UR - http://eudml.org/doc/137803
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.