Revision history for entry Tursman, Richard (1968). "The shortest axioms of the implicational calculus" [RICTSA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-12-01T14:31:06updateSystem / admin update -
2013-11-22T08:33:58updateSystem / admin update -
2013-11-04T06:11:26updateSystem / admin update -
2010-10-28T08:42:18updateSystem / admin update -
2010-10-01T14:41:45updateSystem / admin update -
2010-09-23T12:05:49addSystem / admin update -