Revision history for entry Bunder, M. W.: Deduction theorems for weak implicational logics [BUNDTF]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-12-31T23:32:16 | update | System / admin update |
2019-02-06T18:06:52 | update | System / admin update |
2015-02-06T05:08:28 | update | System / admin update |
2013-12-02T01:44:56 | update | System / admin update |
2013-01-12T20:52:00 | update | System / admin update |
2013-01-12T20:52:00 | update | System / admin update |
2012-01-12T04:00:24 | update | |
2012-01-12T04:00:24 | update | |
2012-01-12T04:00:24 | update | |
loading ..