Incompleteness and Computability – An Open Introduction to Gödel's Theorems (ic.openlogicproject.org)

2 points by the-mitr 1 hour ago