A study of logical techniques to the level of elementary sentential logic and quantification.
Last revised: August 28, 1996. Contact: ccrenna@registrar.uoguelph.ca.