Revision history for entry Fitting, Melvin: Resolution for Intuitionistic Logic [FITRFI-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-12-13T17:04:09updateSystem / admin update
2022-10-21T06:40:09updateSystem / admin update
2011-05-31T12:51:33updateSystem / admin update
2011-01-21T04:06:15addSystem / admin update