Prev: Did Turing 1937 Really Prove the Entscheidungsproblem Unsolvable?
Next: We are here for all your events!
From: Boris 'pi' Piwinger on 31 May 2010 20:03 Mathematical Logic around the world: http://world.logic.at/ -- Posted: Tue Jun 1 00:03:02 2010 |