Options
1988
Diploma Thesis
Titel
Theorembeweismethoden für die intuitionistische Logik
ThesisNote
Stuttgart, Univ., Dipl.-Arb., 1988
Verlagsort
Stuttgart