Revision history for entry Tupailo, Sergei: On the intuitionistic strength of monotone inductive definiti.. [TUPOTI]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2021-12-24T18:19:47 | update | System / admin update |
2019-05-07T20:56:08 | update | System / admin update |
2019-02-06T14:07:30 | update | System / admin update |
2017-02-03T02:33:16 | update | System / admin update |
2016-06-30T12:27:44 | update | System / admin update |
2015-02-05T07:16:34 | update | System / admin update |
2014-03-21T22:11:54 | update | System / admin update |
2013-11-22T12:11:17 | update | System / admin update |
2013-11-04T10:46:30 | update | System / admin update |
2010-09-23T17:30:19 | update | System / admin update |
2009-03-08T15:21:41 | update | System / admin update |
loading ..