Logic software:
Notices:
PDF files of the new text:
Assorted notes from class:
Logic TAs: Rob Seabright (robseabright@gmail.com) and George Ingerman (gai806@mun.ca) Rob and George are available to help with assignments every Fri 11-12 in CP-2003, and can be consulted via email for advice or appointments.