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