ocw.mit.edu
Unknown
MIT OpenCourseWare (OCW) offers free, openly licensed course materials from MIT across hundreds of subjects, including lecture notes, assignments, and exams. You can browse and download complete courses to study topics from logic and mathematics to science and engineering at your own pace.
More resources on Gödelâs Theorems
Introduction to Logic
This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
Stanford Encyclopedia of Philosophy: Gödelâs Incompleteness Theorems
Comprehensive free article, top Reddit rec
Gödelâs Incompleteness Theorems (Boiled down to the Basics)
Clear explanation of the theorems by Carneades.org, highly upvoted in r/math
Mathematical Logic
Learn Gödel's theorems and mathematical logic with Jeremy Avigad's course. Explore key concepts and enhance your understanding!
Gödel, Escher, Bach
Gödel, Escher, Bach - A book resource
plato.stanford.edu
The Stanford Encyclopedia of Philosophy is a free, peer-reviewed reference offering in-depth, scholarly articles on philosophy, including Gödelâs incompleteness theorems, logic, and the foundations of mathematics.