- How Logic Works can be accessed via jstor, and can be purchased from Princeton University Press.
- Solutions to some problems in HLW
- Online tools: https://lemmon-checker.onrender.com
- LaTeX files for HLW: hhalvors/logic-works
- Practice problems
- Some notes
- Precept workbook with source file
- old exams