Logic with Symlog: Learning Symbolic Logic By Computer (Disk Included)