An introduction to the formal aspects of the modern science and art of logic for students of philosophy, mathematics or computer science, or indeed anyone interested in logic. No technical or mathematical background assumed. -- Course Website
Instructor: Dr D Hyde