An introduction to symbolic logic through completeness of the first order predicate calculus. The course stresses computational aspects and linguistic applications.
Prerequisites: none
Recitations: none
Expected class size:
Frequency:
Credits: 3