Book

Einführung in die mathematische Logik

by Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas