fitelson

Free
It teaches you how to do natural deduction proofs in a variety of logics.