Revision history for entry Schellinx, Harold (1998). "Basic proof theory, A.S. Troelstra and H. Schwichtenberg" [SCHBPT]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2010-10-02T05:24:40updateSystem / admin update -