Aussagelogik, Mengen, Relationen - Gerster, Hans-Dieter (Studienbücher Mathematik, 1976)