A study of logical techniques to the level of elementary sentential logic and quantification.
Last revised: May 31, 1998.