From: Boris 'pi' Piwinger on
Mathematical Logic around the world:
http://world.logic.at/
--
Posted: Sat May 1 00:03:01 2010