Revision history for entry Wintein, Stefan; Muskens, Reinhard: A Gentzen Calculus for Nothing but the Tru.. [WINAGC]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-02-03T19:26:04updateSystem / admin update
2019-09-02T07:40:41updateSystem / admin update
2019-01-25T22:34:21updateSystem / admin update
2018-08-27T16:40:23updateLocal copy uploaded (view this copy)
2018-08-27T16:38:41update
2018-08-27T16:36:34update
2016-07-10T17:15:12updateSystem / admin update
2016-02-10T19:40:46updateSystem / admin update
2016-02-10T06:19:28update
2015-10-19T23:47:05updateSystem / admin update
2015-10-17T23:01:03updateSystem / admin update
2015-10-14T03:20:12updateSystem / admin update
2015-10-13T21:29:22addSystem / admin update