Logische Untersuchungen über mechanische Beweisverfahren
By: Konrad Justen
Contributors: Rheinisch-Westfälische Technische Hochschule Aachen
Published: 1978
Language: ger
Number of pages: 130
Notes: Thesis (doctoral)--Rheinisch-Westfälische Technische Hochschule Aachen, 1978.