Das war ein harter Brocken, aber auch eine gute Vorbereitung fürs Master-Studium, denn nun bin ich mich wenigstens wieder ein wenig an Mathematik gewöhnt. Aber deshalb habe ich das Buch eigentlich nicht gekauft, eigentlich wollte ich einfach mal etwas über Logik lernen, schliesslich gehört die Logik zu den Grundlagen der Mathematik, und in all den Jahren, in der ich in der Schule war, haben wir nie was darüber gelernt.. schlimm!

Das bereits über 50 Jahre alte Buch von Patrick Suppes setzt keine Grundkenntnisse voraus, und enthält eine ganze Menge an Übungen. Leider habe ich zu spät bemerkt, dass das Vorhandensein von Übungen nicht automatisch auch Lösungen impliziert. Ansonsten ist das Buch ganz gut zu lesen, auch wenn teilweise die Beispiele etwas knapp sind.

Wikipedia weiss wie so oft ziemlich viel zum Thema, die Seite über first-order logic zeigt, was das Buch ungefähr behandelt (alternativ kann man auch das Buch direkt anschauen). Etwas mühsam ist, dass die Notation sich in den letzten 50 Jahren (oder vielleicht auch Autorenabhängig) ziemlich verändert hat, aber man gewöhnt sich daran.

Mal schauen, inwiefern mir das gelernte etwas bringt. Interessant ist es auf jeden Fall!