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-04T18:46:09updateSystem / admin update -
2014-10-11T10:51:37update
2013-12-01T14:31:20updateSystem / admin update -
2013-11-22T08:34:04updateSystem / admin update -
2013-11-22T08:34:00updateSystem / admin update -
2011-05-31T07:45:06updateSystem / admin update -
2010-10-28T08:42:20updateSystem / admin update -
2010-10-01T14:41:49updateSystem / admin update -
2010-09-23T12:05:52addSystem / admin update -