FB 3
CXL
Inhaltsverzeichnis
Startseite
Inhaltliches
Vorlesungsfolien
Übungsblätter
Bücher & Links
Formale Modellierung
Bücher und weiterführende Literatur
Bücher
Dirk van Dalen,
Logic and Structure
. Springer Verlag, vierte Auflage, 2004.
P. T. Johnstone,
Notes on logic and set theory
. Cambridge University Press, 1987.