A link to Peter Smith's website that accompanies his book 'Formal Logic': plenty of additional material.
