Unterstruktur-Invariante Formeln in der intuitionistischen Logik.

Horst Osswald

Archiv für mathematische Logik und Grundlagenforschung (1972)

  • Volume: 15, page 118-128
  • ISSN: 0003-9268

How to cite

top

Osswald, Horst. "Unterstruktur-Invariante Formeln in der intuitionistischen Logik.." Archiv für mathematische Logik und Grundlagenforschung 15 (1972): 118-128. <http://eudml.org/doc/137874>.

@article{Osswald1972,
author = {Osswald, Horst},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
pages = {118-128},
title = {Unterstruktur-Invariante Formeln in der intuitionistischen Logik.},
url = {http://eudml.org/doc/137874},
volume = {15},
year = {1972},
}

TY - JOUR
AU - Osswald, Horst
TI - Unterstruktur-Invariante Formeln in der intuitionistischen Logik.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1972
VL - 15
SP - 118
EP - 128
UR - http://eudml.org/doc/137874
ER -

NotesEmbed ?

top

You must be logged in to post comments.