Incompleteness and Computability – An Open Introduction to Gödel's Theorems (ic.openlogicproject.org) 1 points by the-mitr 6d ago ↗ HN
0 comments
[ 0.21 ms ] story [ 7.1 ms ] threadNo comments yet.