Deduktion
Subtitle: Automatisierung der Logik
Publisher: de Gruyter GmbH, Walter
Published: 2020
Language: ger
ISBN-13: 9783110701128