Revision history for entry Tranchini, Luca: Natural deduction for bi-intuitionistic logic [TRANDF-2]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2021-12-31T06:44:28 | update | System / admin update |
2019-02-05T01:27:40 | update | System / admin update |
2018-08-26T16:07:49 | update | System / admin update |
2017-12-19T21:03:47 | update | System / admin update |
2017-12-19T12:27:19 | update | |
2017-12-19T12:27:19 | update | |
2017-12-16T09:16:32 | update | |
2017-12-16T07:22:56 | add | System / admin update |
loading ..