Ein formales System der einfachen Typenlogik mit Extensionalität und Elimination der Schnittregel
By: Karl Schlögl
Contributors: Universität München
Published: 1971
Language: ger
Number of pages: 53
Notes: Thesis (doctoral)--Ludwig-Maximilians Universität München, 1971.