Logik (Teil 2): Prädikatenlogik, Aussageform, Quantoren | Vorkurs Mathematik für Studenten