PhilPapers is currently in read-only mode while we are performing some maintenance. You can use the site normally except that you cannot sign in. This shouldn't last long.

Revision history for entry Cocchiarella, Nino (1969). "A substitution free axiom set for second order logic" [NINASF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2015-02-04T23:46:09updateSystem / admin update -
2014-10-11T15:51:37update
2013-12-01T19:31:20updateSystem / admin update -
2013-11-22T13:34:04updateSystem / admin update -
2013-11-22T13:34:00updateSystem / admin update -
2011-05-31T12:45:06updateSystem / admin update -
2010-10-28T13:42:20updateSystem / admin update -
2010-10-01T19:41:49updateSystem / admin update -
2010-09-23T17:05:52addSystem / admin update -