Eine neue Version des Grundlagenskripts ist online. Es findet sich nun auch ein kurzer Abschnitt in dem der Existenz- und Allquantor genauer erklärt wird.