Aussagen- und Prädikatenlogik: Eine Einführung | Myboeken