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