Revision history for entry Porte, Jean: Simplifying the axioms of the predicate calculus [JEASTA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2021-04-13T15:25:38updateSystem / admin update
2021-03-24T13:21:17updateSystem / admin update
2021-03-21T12:57:59updateSystem / admin update
2019-02-06T17:44:41updateSystem / admin update
2017-03-02T01:35:19update
2017-02-07T16:03:01updateSystem / admin update
2017-01-22T02:53:34update
2017-01-21T04:37:24updateSystem / admin update
2015-02-04T23:45:42updateSystem / admin update
2013-12-01T19:35:25updateSystem / admin update
2013-11-22T13:37:34updateSystem / admin update
2013-11-22T13:37:25updateSystem / admin update
2010-10-28T13:43:33updateSystem / admin update
2010-10-01T19:44:29updateSystem / admin update
2010-09-23T17:07:47addSystem / admin update