An Introduction to Mathematical Logic

GPTKB entity