THE LOGIC DAEMON

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.