Revision history for entry Avigad, Jeremy: Interpreting classical theories in constructive ones [AVIICT]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-05-09T13:39:02 | update | System / admin update |
2016-06-30T12:29:17 | update | System / admin update |
2015-02-05T07:23:24 | update | System / admin update |
2015-01-31T14:26:31 | update | |
2014-04-05T08:01:52 | update | System / admin update |
2014-04-05T08:01:50 | update | System / admin update |
2013-11-22T12:10:18 | update | System / admin update |
2013-11-04T10:47:55 | update | System / admin update |
2011-03-03T19:03:22 | update | |
2011-03-03T19:03:22 | update | |
2011-03-03T19:03:18 | update | |
2010-09-14T08:30:31 | update | System / admin update |
2010-09-14T08:30:13 | update | System / admin update |
loading ..