1988
Diploma Thesis
Title

Theorembeweismethoden für die intuitionistische Logik

Thesis Note
Stuttgart, Univ., Dipl.-Arb., 1988
Author(s)
Isenmann, S.
Publishing Place
Stuttgart
Language
German