The Technical Part of Godel's Proof (or: Lisp for set theorists)(sbseminar.wordpress.com)
sbseminar.wordpress.com
The Technical Part of Godel's Proof (or: Lisp for set theorists)
http://sbseminar.wordpress.com/2009/12/07/the-technical-part-of-godels-proof/
0 comments
—