Title: Die Theorie der formalen Logik bei Kant und in der Logistik