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