Course Description:
Introduction to certain formal systems relevant to theoretical linguistics. Topics include formal logic, set theory, recursive functions, and natural language quantification.