Revision history for entry Leivant, Daniel (1981). "On the proof theory of the modal logic for arithmetic provability" [LEIOTP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-11-22T07:02:40updateSystem / admin update -