Einführung in die formale Logik - Harbeck, Gerd (Beihefte für den mathematischen Unterricht, 1966)