[ CourseWikia.com ] Samson Abramsky on Logic and Structure in Computer Science and Beyond