Revision history for entry Tranchini, Luca: Natural Deduction for Dual-intuitionistic Logic [TRANDF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-02-03T20:42:32updateSystem / admin update -
2019-12-24T21:54:22updateSystem / admin update -
2016-02-10T06:19:16update
2014-01-23T05:06:16updateSystem / admin update -
2013-12-02T01:49:40updateSystem / admin update -
2012-07-05T13:16:12update
2012-07-05T13:16:12update
2012-07-05T13:16:12update
2012-07-04T07:10:06updateSystem / admin update -
2012-07-03T19:40:21addSystem / admin update -