Sets, relations, functions, sentential and predicate logic, proof techniques, algorithms, and elementary metatheory. Mathematically oriented. Three lecture hours and one laboratory hour a week for one semester. Only one of the following may be counted: Philosophy 313, 313K, 313Q.