Revision history for entry Cantini, Andrea (2002). "Review: Thomas Strahm, S. Barry Cooper, John K. Truss, First Steps into Metapredicativity in Explicit Mathematics" [ANDRTS]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-24T06:12:41updateSystem / admin update -
2013-12-01T04:03:00updateSystem / admin update -
2013-11-04T03:41:27updateSystem / admin update -
2010-10-28T08:15:46updateSystem / admin update -
2010-09-30T14:25:45updateSystem / admin update -
2010-09-29T17:41:28addSystem / admin update -