1988
Diploma Thesis
Titel

Theorembeweismethoden für die intuitionistische Logik
ThesisNote
Stuttgart, Univ., Dipl.-Arb., 1988
Author(s)
Isenmann, S.
Verlagsort
Stuttgart
Thumbnail Image
Language
German