Elementare formalisierte Logik - Seebohm, Thomas M. 1934-2014 (Alber, 1991)
Literaturverz. S. 256 - 258