JN Crossley, et al., What Is Mathematical Logic?
A 96-page intro to the basics of predicate calculus, model theory, and Gödel incompleteness. I’ve used it in the (distant) past a couple times when a student had trouble getting a practical grip on logic.
JN Crossley, et al., What Is Mathematical Logic?
A 96-page intro to the basics of predicate calculus, model theory, and Gödel incompleteness. I’ve used it in the (distant) past a couple times when a student had trouble getting a practical grip on logic.