Revision history for entry Yang, Fan: Expressing Second-order Sentences in Intuitionistic Dependence Logi.. [YANESS]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-07-24T13:25:45updateSystem / admin update
2020-02-03T20:42:12updateSystem / admin update
2015-03-19T22:07:18updateSystem / admin update
2013-12-17T22:24:39updateSystem / admin update
2013-12-02T01:49:56updateSystem / admin update
2013-04-19T06:14:19updateSystem / admin update
2013-04-02T20:51:05updateSystem / admin update
2013-03-20T13:40:06updateSystem / admin update
2013-03-13T08:10:09updateSystem / admin update
2013-03-13T07:43:19addSystem / admin update