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.