Describir: Grundbegriffe der Mengenlehre und Logik