blogic
an interactive introduction to logic

J. David Velleman

jdvelleman atsign nyu dot edu