Mehrsortige logische Systeme mit unendlich langen Formeln
By: Werner Carstengerdes
Contributors: Universität München
Published: 1969
Language: ger
Number of pages: 126
Notes: Thesis (doctoral)--Universität München, 1969.