Formalisieren und beweisen Logik für Informatiker - Siefkes, Dirk 1938-2016 (Vieweg, 1990)
Hier auch später erschienene, unveränderte Nachdrucke. - Literaturverz. S. 245 - 252