The Technical Part of Godel's Proof (or: Lisp for set theorists) (sbseminar.wordpress.com) 8 points by leif 16y ago ↗ HN
0 comments
[ 3.2 ms ] story [ 7.8 ms ] threadNo comments yet.