Revision history for entry Feferman, Solomon (1984). "Toward useful type-free theories. I" [FEFTUT]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-02-01T19:16:57update
2011-07-24T16:27:44update
2011-07-09T18:21:42update