logitext.mit.edu
An interactive tutorial teaching the sequent calculus, a set of rules for showing the truth of statements in first-order logic. It is aimed at people with some software background and basic boolean logic knowledge.