Authors H.C. Doets Date (dd-mm-yyyy) 2000 Title Short proff(s) of classical theorems Publication Year 2000 Publisher AmsterdamInstitute for Logic Language and Computation Document type Working paper Permalink https://hdl.handle.net/11245/1.177568