Revision history for entry Anderson, Alan Ross (1954). "Improved decision procedures for Lewis's calculus s4 and Von Wright's calculus M" [ANDIDP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2011-06-13T22:57:10update
2011-02-21T20:16:51update