From: Boris 'pi' Piwinger on
Mathematical Logic around the world:
http://world.logic.at/
--
Posted: Tue Jun 1 00:03:02 2010