Revision history for entry Tait, W. W. (2006). "Godel's correspondence on proof theory and constructive mathematics: Kurt Godel. 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-" [WWTGCO] |
NB: for privacy reasons, few details are provided in public revision histories.
| Time | Type | Notes |
| 2011-05-31T15:05:09 | update | System / admin update - |
| 2010-10-28T13:46:37 | update | System / admin update - |
| 2010-10-11T09:18:48 | update | System / admin update - |
| 2010-09-23T17:36:51 | add | System / admin update - |
