L. T. F. Gamut

I bought Logic, Language, and Meaning for the chapter on three-valued logics and so far have only read that, but time permitting I'd like to work my way through the whole volume because it looks to be a very comprehensive survey. If you want to know the difference between propositional logic and predicate logic, first-order logic and second-order logic and so on, this appears to be the book for you. From skimming it seems like a mathematically adept person could start from nothing at chapter 1 and not get lost, though chapters also appear to be reasonably self-contained, so someone with more experience can skip around. There are end-of-chapter exercises and solutions. If only there were enough hours in the day.… (mer)