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-01T19:31:06updateSystem / admin update -
2013-11-22T13:33:58updateSystem / admin update -
2013-11-04T11:11:26updateSystem / admin update -
2010-10-28T13:42:18updateSystem / admin update -
2010-10-01T19:41:45updateSystem / admin update -
2010-09-23T17:05:49addSystem / admin update -