Revision history for entry Troelstra, Anne Sjerp: Choice sequences: a chapter of intuitionistic mathemati.. [TROCSA-2]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2024-01-18T03:39:59 | update | System / admin update |
2023-09-14T11:31:06 | update | System / admin update |
2023-06-11T04:51:26 | update | System / admin update |
2023-01-10T09:52:48 | update | System / admin update |
2022-07-30T08:15:57 | update | System / admin update |
2022-05-21T08:15:17 | update | System / admin update |
2022-03-18T07:28:24 | update | System / admin update |
2021-06-11T11:42:57 | update | System / admin update |
2015-02-05T07:00:40 | update | System / admin update |
2013-01-04T19:49:05 | update | |
2009-01-25T12:49:10 | update | System / admin update |
loading ..