Schnittelimination in einem Teilsystem der einfachen Typenlogik
By: Wolfgang Bibel
Contributors: Universität München
Published: 1968
Language: ger
Number of pages: 178
Notes: Thesis (doctoral)--Ludwig-Maximilians Universität München, 1968.