Mengenlehre und Logik by A.A. Fraenkel