Revision history for entry Baaz, M.; Leitsch, A.: Cut-Elimination: Syntax and Semantics [BAACSA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-02-03T20:41:26updateSystem / admin update -
2016-02-10T06:09:40update
2014-12-19T16:17:45updateSystem / admin update -
2014-06-25T19:07:29updateSystem / admin update -
2014-06-25T14:20:20updateSystem / admin update -
2014-06-25T09:01:05addSystem / admin update -