Revision history for entry Raatikainen, Panu (2003). "Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories" [RAASSU]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2017-01-01T06:57:45update
2017-01-01T06:52:31updateLocal copy uploaded (view this copy) -
2016-06-30T07:27:20updateSystem / admin update -
2015-02-05T02:16:12updateSystem / admin update -
2014-03-23T02:40:28updateSystem / admin update -
2013-11-22T07:11:09updateSystem / admin update -
2013-11-04T05:46:42updateSystem / admin update -
2011-01-31T09:50:01update
2011-01-31T09:50:01update
2011-01-20T22:59:54updateSystem / admin update -
2010-09-23T12:30:09updateSystem / admin update -