Software that came with the book "Introduction to Logic: Propositional Logic, Revised Third Edition".
When installed, version reported is "PropLogic Version 1.6" in the About section.
CD ISBN: 0-13-025849-0
Description printed on CD: PropLogic Version 1.0 by Howard Pospesel and Mark Pospesel
Windows 95/98/NT Only
The Minimum System Requirements Windows 95/98/NT color monitor (640x480 VGA resolution minimum), 2.25 MB free space on hard drive (for installation) Processor speed and RAM: 100 MHz / 8 MB RAM, 120 MHz and 16 MB RAM recommended