CourseEye
Courses
The Guide
Proof Theory Courses
Mathematical Thinking in Computer Science (Coursera)