Revision history for entry Kikuchi, Kentaro; Sasaki, Katsumi (2003). "A cut-free Gentzen formulation of basic propositional calculus" [KIKACG]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-23T11:57:55updateSystem / admin update -
2013-11-04T10:30:19updateSystem / admin update -
2010-10-02T05:36:44updateSystem / admin update -