1. Logisches Argumentieren2. Quantoren3. Relationen4. Anfangsgründe von Prolog5. Wahrheit6. Klassische Logik7. Logikkalküle7. Prolog: Theoretische Grundlagen und Programmierpraxis8. Fortgeschrittene Logikprogrammierung9. Modellierung mit logischen Mitteln10. Anwendungen der Logik in den Formalwissenschaften
