Revision history for entry Pollock, John L.: Henkin style completeness proofs in theories lacking negatio.. [JOHHSC-2]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2021-04-13T15:27:23 | update | System / admin update |
2021-03-24T13:24:14 | update | System / admin update |
2021-03-21T13:00:22 | update | System / admin update |
2019-02-06T12:53:55 | update | System / admin update |
2017-03-05T03:02:24 | update | |
2017-02-07T10:02:58 | update | System / admin update |
2017-01-21T04:26:40 | update | |
2017-01-21T04:32:35 | update | System / admin update |
2015-02-04T23:45:24 | update | System / admin update |
2013-12-01T19:31:50 | update | System / admin update |
2013-12-01T19:31:46 | update | System / admin update |
2013-11-22T13:34:14 | update | System / admin update |
2013-11-04T11:10:36 | update | System / admin update |
2010-10-28T13:42:31 | update | System / admin update |
2010-10-01T19:42:13 | update | System / admin update |
2010-09-23T17:06:06 | add | System / admin update |
loading ..