Vorlesung. I) Aussagenlogik 0) Formationsregeln 1) Semantik 2) Syntax II) Prädikatenlogik (1. Stufe) 0) Formationsregeln 1) Semantik 2) Syntax.
