Heinemann, Bernhard: Logik für Informatiker
: eine Einführung / von Bernhard Heinemann und Klaus Weihrauch. - Stuttgart : Teubner, 1991. - VIII, 239 S.; 23 cm - (Leitfäden und Monographien der Informatik)
ISBN 978-3-519-02248-0 / 3-519-02248-6 kart. : DM 36.00
Literaturverz. S. 229 - 232
Quelle: DNB
Heinemann, Bernhard: Logik für Informatiker
: eine Einführung / von Bernhard Heinemann und Klaus Weihrauch. - 2., durchges. Aufl. - Stuttgart : Teubner, 1992. - VIII, 240 S.; 23 cm - (Leitfäden und Monographien der Informatik)
ISBN 978-3-519-12248-7 / 3-519-12248-0 kart. : DM 38.00
Quelle: DNB