Revision history for entry Thomas, Ivo (1970). "Final word on a shortest implicational axiom" [IVOFWO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-12-01T14:31:34updateSystem / admin update -
2013-11-22T08:34:11updateSystem / admin update -
2013-11-22T08:34:07updateSystem / admin update -
2010-10-28T08:42:23updateSystem / admin update -
2010-10-01T14:41:55updateSystem / admin update -
2010-09-23T12:05:56addSystem / admin update -