Revision history for entry Tait, W. W. (manuscript). "G¨odel's correspondence on proof theory and constructive mathematics" [TAIGCO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2010-02-19T07:52:27updateSystem / admin update -