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

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
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 -