Title: Konstruktive Einführung in die formale Logik
First published: 1984
Subjects: Logic
LC classification: BC15 .H3 1984