Grunkurs im logischen schlieben ubungen zum selbststudium - Savigny, Eike von (Vandenhoeck und Ruprecht, 1993)