Revision history for entry Ignatiev, Konstantin N. (1993). "On strong provability predicates and the associated modal logics" [IGNOSP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-11-22T07:07:55updateSystem / admin update -
2011-06-13T18:22:47update