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] |
| Time | Type | Notes |
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] |
| Time | Type | Notes |