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