Revision history for entry Sieg, Wilfried; Byrnes, John: Normal natural deduction proofs (in classical lo.. [SIENND]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-12-24T23:46:36 | update | System / admin update |
2019-12-24T16:22:04 | update | System / admin update |
2015-02-06T05:01:09 | update | System / admin update |
2014-04-05T08:03:52 | update | System / admin update |
2014-03-30T08:50:49 | update | System / admin update |
2013-12-02T01:46:53 | update | System / admin update |
2013-10-31T16:34:14 | update | System / admin update |
2011-12-27T11:52:10 | update | |
2011-08-29T05:17:53 | update | |
2010-12-26T18:44:51 | update | |
2010-12-26T18:41:47 | update | |
2010-12-26T18:40:37 | update | |
2010-12-26T10:03:24 | update | |
2010-09-28T03:09:06 | update | System / admin update |
2010-09-14T08:30:30 | update | System / admin update |
2010-09-11T07:17:46 | update | System / admin update |
loading ..