A Modern Introduction to Logic

GPTKB entity