Revision history for entry Dyckhoff, Roy: A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Seco.. [TROBPT-2]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2022-11-14T14:00:13 | update | System / admin update |
2022-10-01T13:09:56 | update | |
2020-02-12T03:54:41 | update | System / admin update |
2020-02-12T03:54:41 | update | System / admin update |
2020-02-12T03:54:41 | update | System / admin update |
2018-03-06T17:44:15 | update | System / admin update |
2017-02-22T15:23:06 | update | System / admin update |
2017-02-22T14:58:27 | add | System / admin update |
loading ..