Revision history for entry Avron, Arnon (manuscript). "The method of hypersequents in the proof theory of propositional non-classical logics" [AVRTMO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2010-07-01T00:50:09updateSystem / admin update -