Peter Smith (1) (1944–)

absolutely not for me nor for anyone who has any amount of prerequisite knowledge, for whom progression will be frustratingly menial. zero sense of economy

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.

12/13/21

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.