Revision history for entry Boolos, George; McGee, Vann (1987). "The degree of the set of sentences of predicate provability logic that are true under every interpretation" [BOOTDO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes