Logik公司

Aussagenlogik公司

• 语法und Semantik
• Normalformen公司
• 决议，Vollständigkeits-und Korrektheitsbeeise

普雷·迪卡坦洛基

• 语法und Semantik
• Normalformen公司
• 决议，Vollständigkeits-und Korrektheitsbeeise

格兰德拉根·冯·PROLOG

• Uwe Schöning公司：Logik für信息员,5.奥弗拉格Spektrum Verlag，2000年。
• 脚本

DieÜbungen werdenüber公司驼鹿弗瓦尔特。