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/ by leif • 17 years ago 8 0 17 years agoSBsbseminar.wordpress.com