SMS dit: System der deductiven und inductiven Logik