Revision history for entry Hosoi, Tsutomu: Gentzen-type formulation of the prepositional logic LQ [HOSGFO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2016-02-12T03:56:34update
2015-02-06T05:09:38updateSystem / admin update
2013-12-02T01:45:33updateSystem / admin update
2013-01-12T20:54:17updateSystem / admin update
2013-01-12T20:54:17updateSystem / admin update