Revision history for entry Sambin, G.; Valentini, S. (1980). "A modal sequent calculus for a fragment of arithmetic" [SAMAMS]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-12-02T01:44:45updateSystem / admin update -
2013-01-12T20:50:50updateSystem / admin update -
2013-01-12T20:50:50updateSystem / admin update -