Revision history for entry Schellinx, Harold (1998). "Basic proof theory, A.S. Troelstra and H. Schwichtenberg" [SCHBPT] |
| Time | Type | Notes |
| 2010-10-02T05:24:40 | update | System / admin update - |
Revision history for entry Schellinx, Harold (1998). "Basic proof theory, A.S. Troelstra and H. Schwichtenberg" [SCHBPT] |
| Time | Type | Notes |
| 2010-10-02T05:24:40 | update | System / admin update - |