THE LOGIC DAEMON

These tools were designed by Colin Allen and Chris Menzel and are used here with their permission. These tools are meant to be used along with the text book, Logic Primer, by Colin Allen and Michael Hand, and the online course materials available through eLearning.

This program was made possible by a teaching award to Colin Allen from the Center for Teaching Excellence, grants from the Electronic Learning Incentives Program and the Associate Provost for Information Technology, with technical support from Computing and Information Services,all at Texas A&M University. (Special thanks to John McClain and Philip Kizer of CIS.) Programming by Colin Allen, Song Chen, Ryan Villalpando, Ramesh Maddimsetty, Helga Kocurek, Erik McKee and Chris Menzel.