Revision history for entry Okada, Mitsuhiro: A weak intuitionistic propositional logic with purely constr.. [OKAAWI]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-12-10T21:18:38updateSystem / admin update
2019-12-24T23:35:56updateSystem / admin update
2019-02-05T12:08:22updateSystem / admin update
2017-01-18T23:31:41updateSystem / admin update
2015-03-17T09:01:01updateSystem / admin update
2015-02-06T05:06:47updateSystem / admin update
2013-12-02T01:45:25updateSystem / admin update
2013-01-12T20:51:59updateSystem / admin update
2013-01-12T20:51:59updateSystem / admin update