Diese Vorlesung wurde von Prof. Dr. Till Tantau an der Universität zu Lübeck im Wintersemester 2008 gehalten. Inhaltlich geht es um eine Einführung in die mathematische Logik speziell für Informatik-Studierende in den ersten Semestern.
