Revision history for entry Artemov, Sergei N. (2001). "Explicit provability and constructive semantics" [ARTEPA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-25T14:18:42updateSystem / admin update -
2013-11-04T03:41:21updateSystem / admin update -
2013-11-04T03:41:20updateSystem / admin update -
2012-10-15T04:07:36update
2011-02-21T18:29:07update
2010-01-18T05:09:16update