Revision history for entry Artemov, Sergei N.: Explicit provability and constructive semantics [ARTEPA]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-12-17T19:12:35 | update | System / admin update |
2019-05-08T13:40:57 | update | System / admin update |
2016-06-30T12:25:31 | update | System / admin update |
2014-03-25T18:18:42 | update | System / admin update |
2013-11-04T08:41:21 | update | System / admin update |
2013-11-04T08:41:20 | update | System / admin update |
2012-10-15T09:07:36 | update | |
2011-02-21T23:29:07 | update | |
2010-01-18T10:09:16 | update | |
loading ..