Revision history for entry Takeuti, Gaisi (1987). "Proof Theory" [TAKPT] |
| Time | Type | Notes |
| 2011-07-24T16:25:26 | update | |
| 2011-07-20T16:15:55 | update |
Revision history for entry Takeuti, Gaisi (1987). "Proof Theory" [TAKPT] |
| Time | Type | Notes |
| 2011-07-24T16:25:26 | update | |
| 2011-07-20T16:15:55 | update |