http://www.vervloesem.eu/qed/index.php/2007/06/10/david-corfield-over-computerbewijzen/ Weblog over wiskunde en computers Sat, 05 Sep 2009 15:50:35 +0000 http://wordpress.org/?v=2.6