These are the perfect books to work through on a Sunday afternoon. Did the first part of Logical Foundations three years ago, and still look back on that day wi

These are the perfect books to work through on a Sunday afternoon. Did the first part of Logical Foundations three years ago, and still look back on that day with fondness. Nothing has scratched that itch for perfect machine-enforced certainty in quite the same way since then.