Vorlesungen liber synthetische Logiknach