Revision history for entry Bell, John L.: Hilbert’s varepsilon -operator in intuitionistic type theories [BELHVO-2]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2022-04-19T17:38:55 | update | System / admin update |
2022-03-15T08:11:08 | update | System / admin update |
2022-03-11T06:32:08 | update | System / admin update |
2021-12-24T16:07:16 | update | System / admin update |
2019-06-06T20:17:20 | update | System / admin update |
2019-06-06T20:17:20 | update | System / admin update |
2017-01-17T05:24:37 | update | System / admin update |
2016-09-21T10:58:50 | add | |
loading ..