Ein formales System der klassischen Aussagenlogik mit einer einzigen Grundverknüpfung.

Kurt Schütte

Archiv für mathematische Logik und Grundlagenforschung (1960/61)

  • Volume: 5, page 113-118
  • ISSN: 0003-9268

How to cite

top

Schütte, Kurt. "Ein formales System der klassischen Aussagenlogik mit einer einzigen Grundverknüpfung.." Archiv für mathematische Logik und Grundlagenforschung 5 (1960/61): 113-118. <http://eudml.org/doc/137757>.

@article{Schütte1960/61,
author = {Schütte, Kurt},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {mathematical logic},
pages = {113-118},
title = {Ein formales System der klassischen Aussagenlogik mit einer einzigen Grundverknüpfung.},
url = {http://eudml.org/doc/137757},
volume = {5},
year = {1960/61},
}

TY - JOUR
AU - Schütte, Kurt
TI - Ein formales System der klassischen Aussagenlogik mit einer einzigen Grundverknüpfung.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1960/61
VL - 5
SP - 113
EP - 118
KW - mathematical logic
UR - http://eudml.org/doc/137757
ER -

NotesEmbed ?

top

You must be logged in to post comments.