Velleman’s How to Prove It vs. Hamkins’ Proof and the Art of Mathematics:
Hamkins seems very much to be preparing his students for mathematical analysis, and, as such, spends more time covering methods of proving mathematical facts. Indeed, the final chapter of his textbook is titled “real analysis” and we might assume that a student will be prepared for it by the time they have covered the rest of the book.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!
Velleman appears as a logician interested in propositional and first order predicate logic for its own sake, although he uses these tools to to cover basic facts that concern sets, relations, and functions. Much ink is devoted to learning the language and consequences of first order logic.