Revision history for entry Pym, David J.: Reductive logic and proof-search: proof theory, semantics, and .. [PYMRLA]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2024-01-24T10:20:02 | update | System / admin update |
2023-09-18T14:08:15 | update | System / admin update |
2023-04-21T11:24:32 | update | System / admin update |
2023-04-21T11:24:31 | update | System / admin update |
2021-11-17T22:14:51 | update | System / admin update |
2020-02-18T16:21:27 | update | System / admin update |
2015-02-06T06:10:15 | update | System / admin update |
2013-10-27T12:42:20 | update | System / admin update |
2013-09-06T12:37:29 | update | System / admin update |
2013-08-24T10:39:35 | update | System / admin update |
2013-07-12T13:42:01 | update | System / admin update |
2013-06-28T22:01:40 | update | System / admin update |
2013-05-28T02:11:26 | update | System / admin update |
2013-04-05T17:06:09 | update | System / admin update |
2013-03-08T10:48:15 | update | System / admin update |
2013-02-06T12:33:11 | update | System / admin update |
2013-01-03T08:34:56 | update | System / admin update |
2012-11-05T00:51:27 | update | System / admin update |
2012-10-07T22:02:00 | update | System / admin update |
2012-09-25T03:32:03 | update | System / admin update |
2012-08-05T18:17:53 | update | System / admin update |
2012-07-05T16:01:15 | update | System / admin update |
2012-06-08T12:24:47 | update | System / admin update |
2012-05-26T17:30:38 | update | System / admin update |
2012-04-04T09:36:36 | update | System / admin update |
2012-02-29T02:02:47 | update | System / admin update |
2012-01-04T00:33:22 | update | System / admin update |
2011-12-06T01:10:30 | update | System / admin update |
2011-11-03T16:48:25 | update | System / admin update |
2011-09-28T00:25:06 | update | System / admin update |
2011-08-03T00:45:58 | update | System / admin update |
2011-07-04T10:45:14 | update | System / admin update |
2011-06-04T03:30:17 | update | System / admin update |
loading ..