Revision history for entry Avron, Arnon (manuscript). "The method of hypersequents in the proof theory of propositional non-classical logics" [AVRTMO] |
| Time | Type | Notes |
| 2010-07-01T00:50:09 | update | System / admin update - |
Revision history for entry Avron, Arnon (manuscript). "The method of hypersequents in the proof theory of propositional non-classical logics" [AVRTMO] |
| Time | Type | Notes |
| 2010-07-01T00:50:09 | update | System / admin update - |