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