Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar
1.4 Kompaktheitssatz der AussagenlogikBeweis & Beispiel