Mathematische Logik: 2 Syntax und Semantik der Prädikatenlogik 2.1 Strukturen 2.3 Syntax der Prädikatenlogik (Di, 14.05.2013)