Peter Smith (1) (1944–)

I love this book. It is written in an easy, almost conversational, style, and yet lacks nothing in formal rigor. I especially appreciate the many places where Smith points out how things could be done differently, and gives the arguments for and against each approach. Highly recommended.

I am not sure why, but over the last few years I have read or at least started a few introductory mathematical logic books. I like this one best, probably because it spends much more time and effort on semantics and connecting up the relationship between English and the forma language. Much of the books is examples, which are quite helpful. Recommended as a first book.

12/13/21

(See Kellert.) Philosophical aspects again, but with a bit of advanced math thrown in.