Logik公司

Vorlesungsstart第22页。2013年4月

模具闭卷考试2012年7月19日，弗赖塔格发现赫萨尔H4/5统计。Sie开始于12.00 Uhr。Bearbeitung的Für die拥有120 Minuten Zeit。咬了一口，这是米努滕河上的水，这是肯特利奇开始的。

Als Hilfsmittel是DIN A4 Blatt zugelssen的双相不锈钢。

Mittlerweile is die Klausur korrigiert und die Noten im LSF eingetragen Mittlereweile就是Klausure korrigie和LSF eingetragen。模具克劳修里希特我是蒙塔格，第29.7号。531年7月27日下午13:00-13:30Uhr（Nachnamen von A-J）和13:30-14:00（Nachnamen von K-Z）。

Aussagenlogik公司

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

普雷·迪卡坦洛基

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

文字： 

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