Revision history of "Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability" (Q6484828)

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.