Aussagen- und Prädikatenlogik eine Einführung - Riel, Raphael van 1979-; Vosgerau, Gottfried 1978- (J.B. Metzler Verlag, 2018)