Revision history for entry Anderson, Alan Ross (1954). "Improved decision procedures for Lewis's calculus s4 and Von Wright's calculus M" [ANDIDP] |
| Time | Type | Notes |
| 2011-06-13T22:57:10 | update | |
| 2011-02-21T20:16:51 | update |
Revision history for entry Anderson, Alan Ross (1954). "Improved decision procedures for Lewis's calculus s4 and Von Wright's calculus M" [ANDIDP] |
| Time | Type | Notes |
| 2011-06-13T22:57:10 | update | |
| 2011-02-21T20:16:51 | update |