Revision history for entry Beklemishev, L. D. (1991). "Provability logics for natural Turing progressions of arithmetical theories" [BEKPLF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-04-07T03:41:22updateSystem / admin update -
2013-12-02T01:45:51updateSystem / admin update -
2013-01-12T20:51:09updateSystem / admin update -
2013-01-12T20:51:09updateSystem / admin update -