http://www.vervloesem.eu/qed/index.php/2008/11/10/formele-bewijzen-het-dna-van-de-wiskunde/ Weblog over wiskunde en computers Sat, 05 Sep 2009 15:42:46 +0000 http://wordpress.org/?v=2.6