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
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 -