Description:
In der übersichlichen Gliederung und der breit ausholenden Darstellungsweise den inzwischen erschienenen drei anderen Titeln dieser Reihe (zuletzt Mark Ryan: "Analysis für ...", BA 5/07) sehr ähnlich, ist dieser Band doch der anspruchsvollste. Nach einem gerafften Rückblick auf die Geschichte der Logik seit Aristoteles nimmt die Aussagenlogik den größten Raum ein. Die semantischen und syntaktischen Operationen und Ableitungen werden in machmal schon ermüdender Systematik erklärt, vielleicht dem Curriculum eines amerikanischen Collegekurses folgend. Ähnlich, wenn auch kürzer, fällt der folgende Teil über Prädikatenlogik aus, bis am Ende kurze Abschnitte Anwendungen, nichtklassische Entwicklungen bis zur Quantenlogik und schließlich noch andeutungsweise die Auseinandersetzungen um die Grundlegung der Mathematik skizzieren. Wenige Ungenauigkeiten mögen der Übersetzung anzulasten sein. Empfehlenswert für gründlich Interessierte als Begleitlektüre zur Schule oder zum Studium. (2 S)