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
2014-04-01T17:44:12updateSystem / admin update -
2013-12-02T01:46:33updateSystem / admin update -
2013-10-30T05:55:47updateSystem / admin update -
2013-01-12T20:53:57updateSystem / admin update -
2013-01-12T20:53:57updateSystem / admin update -