Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Aktuelles

• Das erste Treffen findet am 28.April 2023 statt. Weitere Informationen finden sich hier in Kürze.

Materialien

• Heinz-Dieter Ebbinghaus: Einführung in die Mengenlehre, Spektrum Akademischer Verlag; 4. Edition

Empfehlung:

• Apostolos Doxiadis, Christos H. Papadimitriou: LOGICOMIX,Eine epische Suche nach Wahrheit; Atrium Verlag AG 2010
• Bertrand Russel: Introduction to Mathematical Philosophy; Routledge, 1998