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