The latest version of Language, Proof, and Logic no longer includes a CD-ROM. Instead, users can download accompanying files using the Registration/Book ID#. This comprehensive textbook/software package is suitable for first and second logic courses, offering an online grading service for computer exercises. It’s perfect for philosophy instructors teaching undergraduates in various disciplines, covering topics from introductory to advanced levels, including Gödel’s first incompleteness theorem. The software package includes four programs compatible with Windows, Macintosh, and Linux systems. Instructors can utilize the software’s pedagogical value without direct usage. Each new package includes a Registration ID for use with the grading service, ensuring accountability.