Ein einführendes Werk, das die Prinzipien der Aussagen‑ und Prädikatenlogik sowie klassische Beweistechniken vermittelt, ergänzt durch anschauliche Beispiele und Übungen zur Förderung des analytischen Denkens.