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.
TimeTypeNotes
2022-04-19T17:38:55updateSystem / admin update
2022-03-15T08:11:08updateSystem / admin update
2022-03-11T06:32:08updateSystem / admin update
2021-12-24T16:07:16updateSystem / admin update
2019-06-06T20:17:20updateSystem / admin update
2019-06-06T20:17:20updateSystem / admin update
2017-01-17T05:24:37updateSystem / admin update
2016-09-21T10:58:50add