A light introductory college text on "Symbolic Logic" with exercises and answers if possible. The way of thinking that such a text gives is nearly identical to

A light introductory college text on "Symbolic Logic" with exercises and answers if possible. The way of thinking that such a text gives is nearly identical to the thinking needed for coding. Just one example: We coders sometimes forget that a conditional like "if (not (A and B)) or C then..." is utterly incomprehensible to the bulk of humanity. Go through a logic book and that stuff will be second nature. Also it helps lifelong with clarity of thinking which is nice too.