Introduction to Logic
Coursera
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.
More resources on Gödelâs Theorems
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.
mathworld.wolfram.com
MathWorld is Wolfram's comprehensive online mathematics encyclopedia, featuring detailed articles, definitions, theorems, proofs, and visual examples across math topics. It includes entries on Gödelâs incompleteness theorems, logic, and related concepts, with formulas and references for further study.