Nichttheoreme : eine logische Untersuchung unter Verwendung von Tableauerzeugungen und Reduktionsklassen

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Gerd Doeben-Henisch
ISBN:3-631-42851-0
Parent Title (German):Europäische Hochschulschriften : Reihe 20, Philosophie ; 317
Publisher:Lang
Place of publication:Frankfurt am Main
Document Type:Book (Monograph)
Language:German
Year of Completion:1990
GND-Keyword:Theorem , Automatisches Beweisverfahren
Pagenumber:XXVI, 241 S.
Institutes:Fachbereich 2: Informatik und Ingenieurwissenschaften
DDC classes:Philosophie und Psychologie / Philosophie
Licence (German):License LogoEs gilt das UrhG