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