Revision history for entry Arai, Toshiyasu: Derivability conditions on Rosser's provability predicates [TOSDCO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2021-04-13T15:48:28updateSystem / admin update
2021-03-24T13:19:08updateSystem / admin update
2021-03-21T12:56:32updateSystem / admin update
2019-02-06T15:46:48updateSystem / admin update
2015-02-04T23:42:26updateSystem / admin update
2014-04-08T01:00:33updateSystem / admin update
2013-12-01T19:37:48updateSystem / admin update
2013-11-04T11:08:56updateSystem / admin update
2013-11-04T10:35:29updateSystem / admin update
2011-02-21T23:19:30update
2010-10-28T13:44:05updateSystem / admin update
2010-10-01T19:45:41updateSystem / admin update
2010-09-23T17:08:37addSystem / admin update