1 “.... Rund 200 Übungsaufgaben mit Lösungshinweisen bieten eine zusätzliche Hilfe, insbesondere dann, wenn man...”

2 “... syntaktische und semantische Verfahren behandelt. Wenn z. B. in einem Werk ausschließlich die axiomatische...”

3 “..., wenn man die Unendlichkeit akzeptiert, und diese Konsequenzen sind vielseitig und überraschend. Der...”