§ 4/1/5 Logics [Old Curriculum 7]

• 180020 PS On the Relation between Philosophy and Logic - Die Entwicklung der symbolischen Logik bei Leibniz und Frege (MinCurr Logik II)
• 180021 SE Logic or Set Theory? - The Controversy over Second-Order Logic
• 180034 VO [ en ] Goedel's philosophy of mathematics
• 180741 VO Philosophical Logics - Ein Überblick über klassische und nicht-klassische Konzepte der formalen Logik (MinCurr Logik III)