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-01T20:44:45updateSystem / admin update -
2013-01-12T15:50:50updateSystem / admin update -
2013-01-12T15:50:50updateSystem / admin update -