recentpopularlog in

A Computability Proof of Gödel’s First Incompleteness Theorem

5 bookmarks. first posted by gvaf 10 days ago.