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-23T07:57:55updateSystem / admin update -
2013-11-04T05:30:19updateSystem / admin update -
2010-10-02T00:36:44updateSystem / admin update -