A First Course in Logic

GPTKB entity