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.
TimeTypeNotes
2019-12-24T23:46:36updateSystem / admin update
2019-12-24T16:22:04updateSystem / admin update
2015-02-06T05:01:09updateSystem / admin update
2014-04-05T08:03:52updateSystem / admin update
2014-03-30T08:50:49updateSystem / admin update
2013-12-02T01:46:53updateSystem / admin update
2013-10-31T16:34:14updateSystem / admin update
2011-12-27T11:52:10update
2011-08-29T05:17:53update
2010-12-26T18:44:51update
2010-12-26T18:41:47update
2010-12-26T18:40:37update
2010-12-26T10:03:24update
2010-09-28T03:09:06updateSystem / admin update
2010-09-14T08:30:30updateSystem / admin update
2010-09-11T07:17:46updateSystem / admin update