Einführung in die Mengenlehre by Heinz-Dieter Ebbinghaus