INF3481:  Es werden die Grundlagen der Aussagen- und Prädikatenlogik behandelt und zentrale Theoreme bewiesen, insbesondere der Vollständigkeitssatz der Prädikatenlogik erster Stufe.