Baader, FranzBeckert, BernhardNipkow, Tobias2018-01-052018-01-0520102010https://dl.gi.de/handle/20.500.12116/9566Deduktion: von der Theorie zur AnwendungText/Journal Article1432-122X