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

Einführung in die axiomatische Mengenlehre

 

Aktuelles

  • Das nächste Treffen findet am 13.November 2024 um 13:30 Uhr im Johann von Neumann-Haus (RUD25) in Raum 3'408 statt.
  • Das erste Treffen findet am 23.Oktober 2024 um 13:30 Uhr im Johann von Neumann-Haus (RUD25) in Raum 3'408 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