Courseware Packages


The Openproof Project at CSLI has developed the following courseware packages aimed at different aspects of the undergraduate logic curriculum: