Das Problem der Gleichheit. (The Equality Problem.)
Deduktionssysteme, Automatisierung des logischen Denkens. Oldenbourg Verlag 1987
Erscheinungsjahr: 1987
Publikationstyp: Diverses
Sprache: Deutsch
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft