Einfuhurng in die mathematische logik - Tarski, Alfred (Vandenhoech und Ruprecht, 1977)