Mathematical Logic by Ebbinghaus, Flum, and Thomas

GPTKB entity