This is the homepage for PL2014-Symbolic Logic, Spring 2009, Polytechnic University.  Choose from the selection below.  This page will be updated periodically.

• Syllabus

• Assignments

• Handouts
• Rules for PLC trees
• QL Semantics
• Rules for QL trees