Course Detail
Units:
4.0
Course Components:
Laboratory
Lecture
Enrollment Information
Requirement Designation:
Description
Elementary techniques of symbolic logic and their application to arguments in natural languages, truth functions, first-order quantification.