Revision history for entry Cowen, Robert H.: A new proof of the compactness theorem for propositional log.. [ROBANP-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2021-04-13T15:41:56updateSystem / admin update
2021-03-24T13:23:54updateSystem / admin update
2021-03-21T13:00:04updateSystem / admin update
2019-02-07T02:52:35updateSystem / admin update
2015-02-04T23:40:48updateSystem / admin update
2014-01-24T01:59:29updateSystem / admin update
2013-11-22T13:34:07updateSystem / admin update
2012-01-08T18:03:44update
2012-01-08T18:03:31update
2012-01-08T18:02:11update
2010-10-28T13:42:27updateSystem / admin update
2010-10-01T19:42:05updateSystem / admin update
2010-09-23T17:06:01addSystem / admin update