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.