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.
Time | Type | Notes |
2021-04-13T15:48:28 | update | System / admin update |
2021-03-24T13:19:08 | update | System / admin update |
2021-03-21T12:56:32 | update | System / admin update |
2019-02-06T15:46:48 | update | System / admin update |
2015-02-04T23:42:26 | update | System / admin update |
2014-04-08T01:00:33 | update | System / admin update |
2013-12-01T19:37:48 | update | System / admin update |
2013-11-04T11:08:56 | update | System / admin update |
2013-11-04T10:35:29 | update | System / admin update |
2011-02-21T23:19:30 | update | |
2010-10-28T13:44:05 | update | System / admin update |
2010-10-01T19:45:41 | update | System / admin update |
2010-09-23T17:08:37 | add | System / admin update |
loading ..