Normalisationssätze für intuitionistische Theorien mit Wahlfolgen
By: von Rudolf Haberthür
Contributors: Universität Basel
Publisher: Stäfa
Published: 1976
Place of publication: Stäfa
Language: ger
Number of pages: 71
Notes: Thesis (doctoral)--Universität Basel, 1976.

Met lit.opg.