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.
Time | Type | Notes |
2021-04-13T15:25:38 | update | System / admin update |
2021-03-24T13:21:17 | update | System / admin update |
2021-03-21T12:57:59 | update | System / admin update |
2019-02-06T17:44:41 | update | System / admin update |
2017-03-02T01:35:19 | update | |
2017-02-07T16:03:01 | update | System / admin update |
2017-01-22T02:53:34 | update | |
2017-01-21T04:37:24 | update | System / admin update |
2015-02-04T23:45:42 | update | System / admin update |
2013-12-01T19:35:25 | update | System / admin update |
2013-11-22T13:37:34 | update | System / admin update |
2013-11-22T13:37:25 | update | System / admin update |
2010-10-28T13:43:33 | update | System / admin update |
2010-10-01T19:44:29 | update | System / admin update |
2010-09-23T17:07:47 | add | System / admin update |
loading ..