Einige Grundbegriffe der mathematischen Logik - Walter, Martin (1964)