Revision history for entry Tait, W. W. (manuscript). "G¨odel's correspondence on proof theory and constructive mathematics" [TAIGCO] |
| Time | Type | Notes |
| 2010-02-19T07:52:27 | update | System / admin update - |
Revision history for entry Tait, W. W. (manuscript). "G¨odel's correspondence on proof theory and constructive mathematics" [TAIGCO] |
| Time | Type | Notes |
| 2010-02-19T07:52:27 | update | System / admin update - |