Konstruktive Einführung in die formale Logik. - Haas, Gerrit (Bibliograph. Inst., 1984)