FB 3
CXL
Inhaltsverzeichnis
Startseite
Inhaltliches
Vorlesungsfolien
Übungsblätter
Bücher & Links
Formale Modellierung
Bücher und weiterführende Literatur
Bücher
Buchempfehlung: Dirk van Dalen,
Logic and Structure
. Springer Verlag, vierte Auflage, 2004.