Skip Navigation

Scout Archives

Home Projects Publications Archives About Sign Up or Log In

Logic Primer

Associate Professor Colin Allen and Professor Michael Hand, both of Texas A&M University, have created an online version of their introductory logic textbook, Logic Primer (The MIT Press), to supplement the instruction of formal logic at the university level. The online text consists of four chapters that provide students with definitions, comments, examples, and exercises about natural deduction systems, truth tables, and the basic ideas of model theory. To accompany their text, Allen developed The Logic Daemon, an automatic proof checker. Students can enter logical proofs into the form fill-in interface of The Logic Daemon to test the validity of their arguments. This is an excellent method for immediate feedback on course assignments. Both instructors and students of logic will benefit from this integrated learning experience.
?  Cumulative Rating: (not yet rated)
Alternate Title
Archived Scout Publication URL
Date of Scout Publication
Date Of Record Creation
2003-04-03 12:31:22
Date Of Record Release
2007-04-04 14:45:28
Resource URL Clicks

Resource Comments

(no comments available yet for this resource)