Revision history for entry Ernst, Zachary; Fitelson, Branden; Harris, Kenneth; Wos, Larry (2002). "Shortest Axiomatizations of Implicational S4 and S" [ZACSAO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-24T20:08:35updateSystem / admin update -
2013-12-01T14:40:39updateSystem / admin update -
2013-11-22T08:41:27updateSystem / admin update -
2013-11-04T06:10:07updateSystem / admin update -
2011-01-20T22:53:10updateSystem / admin update -
2010-10-28T08:44:41updateSystem / admin update -
2010-10-01T14:47:03updateSystem / admin update -
2010-09-23T12:09:32addSystem / admin update -