Revision history for entry Sambin, G.; Valentini, S. (1980). "A modal sequent calculus for a fragment of arithmetic" [SAMAMS] |
| Time | Type | Notes |
| 2013-01-12T20:50:50 | update | System / admin update - |
| 2013-01-12T20:50:50 | update | System / admin update - |
Revision history for entry Sambin, G.; Valentini, S. (1980). "A modal sequent calculus for a fragment of arithmetic" [SAMAMS] |
| Time | Type | Notes |
| 2013-01-12T20:50:50 | update | System / admin update - |
| 2013-01-12T20:50:50 | update | System / admin update - |