Aussagen- und Prädikatenlogik - Barwise, Jon (Verfasser); Etchemendy, John (Verfasser) (Sprache, Beweis und Logik, 2005)