Zeit: Di und Do 11:15 - 12:45

Beginn: 2008-03-04

Themen:

Aussagenlogik, Predikatenlogik, Modellen, Wahrheit und Beweisbarkeit, Vollständigkeit, Berechenbarkeit, Unvollständigkeit.