Introduction to Logic for Computer Scientists

Previous course websites