Text this: Einführung in die formale Logik für Philosophen /