Revision history for entry Tait, William W. (2006). "Gödel's Correspondence on Proof Theory and Constructive Mathematics Kurt Gödel. Collected Works. Volume IV: Selected Correspondence A–G; Volume V: Selected Correspondence H–Z. Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, and Wilfried Sieg, eds. Oxford: Oxford University Press, 2002. Pp. xi+ 662; xxiii+ 664. ISBN 0-19-850073-4; 0-19-850075-0" [TAIGCO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-06T02:39:30updateSystem / admin update -
2010-02-19T02:52:27updateSystem / admin update -