TY  - GEN
AU  - Pfitzenmaier, Siegfried
TI  - Kanonische modelle fur schnittfreie kalkule mit besonderer anwendung auf die typenlogik: Dissertation zur Erlangung des Grandes eines Doktors der Naturwissenschaften
PY  - 1977///
CY  - Tubingen
PB  - Universitat Tubingen
N1  - Lucrarea este multigrafiata; Contine bibliografie
ER  -