Verallgemeinerungen des Herbrand'schen Satzes und Anwendungen im Gebiet der Entscheidbarkeit von Formelklassen
By: von François Marc Barro
Contributors: Eidgenössische Technische Hochschule Zürich
Published: 1977
Language: ger
Number of pages: 56
Notes: Thesis (doctoral)--Eidgenössische Technische Hochschule Zürich, 1977.