I'd like to thank my logic teachers. Professor Vito Sinisi introduced me to logic at Harper College, SUNY Binghamton. Tryg Ager took me through metalogic and a great deal of philosophy.  Tryg also pioneered the use of computers in logic instruction and he's still at it today.  David Klarner helped me appreciate the connections between mathematics and logic.  Nuel Belnap taught me how to teach logic and how to use my first personal computer. 

I would also like to acknowledge the following students, who have made suggestions, corrections, and in other ways have contributed to the improvement of this text: Lee Budner, Aylia Colwell, Alexa Damis-Wulff, Sierra Dwyer,  Kiran Dhillon, William Hollingsworth, William Krause,   Malia Latin, Alia Ledford, Jessie Mamey, Megan McFadden, Carrie Meggs, Emilie Still, Max Weidman, Matthew Williams, ...

 

This text is dedicated to the memory of logician Michael R. Bennett, 1943-1979.