Aussagenlogik
Subtitle: Deduktion und Algorithmen
By: von Hans Kleine Büning und Theodor Lettmann.
Contributors: Lettmann, T.
Series: Leitfäden und Monographien der Informatik
Publisher: B.G. Teubner
Published: 1994
Place of publication: Stuttgart
Language: ger
Number of pages: 438
Subjects: Predicate calculus.
Notes: Includes bibliographical references.

AYB-3251