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-25T18:18:42updateSystem / admin update -
2013-11-04T08:41:21updateSystem / admin update -
2013-11-04T08:41:20updateSystem / admin update -
2012-10-15T09:07:36update
2011-02-21T23:29:07update
2010-01-18T10:09:16update