Revision history for entry Berardi, Stefano: Intuitionistic completeness for first order classical logic [BERICF]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-05-11T13:26:51 | update | System / admin update |
2017-01-18T02:41:17 | update | System / admin update |
2016-06-30T12:28:45 | update | System / admin update |
2015-03-17T06:52:27 | update | System / admin update |
2015-02-05T07:00:18 | update | System / admin update |
2014-03-28T11:08:37 | update | System / admin update |
2013-11-22T12:10:05 | update | System / admin update |
2013-11-04T09:26:20 | update | System / admin update |
loading ..