Revision history for entry Hirokawa, Sachio; Komori, Yuichi; Takeuti, Izumi (1996). "A reduction rule for Peirce formula" [HIRARR]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2016-02-11T07:21:46update
2015-12-24T13:54:42update
2015-03-17T04:03:50updateSystem / admin update -
2015-03-17T04:03:49updateSystem / admin update -
2015-02-06T00:10:42updateSystem / admin update -
2014-04-01T12:44:12updateSystem / admin update -
2013-12-01T20:46:33updateSystem / admin update -
2013-10-30T01:55:47updateSystem / admin update -
2013-01-12T15:53:57updateSystem / admin update -
2013-01-12T15:53:57updateSystem / admin update -