Introduction to Logic
Bill Keller
Spring 2005

This course provides an introduction to logic for students majoring in computer science. It is a quarter-weighted (12 credit), one term module taught in the spring term of the first year, and is currently taken by students on the following degree programmes:

• BSc Computer Science
• BSc Computer Science and Artificial Intelligence
• BSc Computer Science with Management Studies
• BSc Computer Science with European Studies
• BSc Computer Science with North American Studies
• BSc Internet Computing
• BSc Mathematics and Computer Science