Incompleteness and Computability – An Open Introduction to Gödel's Theorems

 (ic.openlogicproject.org)

2 points | by the-mitr 11 hours ago ago

No comments yet.