Kees Doets Uniform Short Proofs for Classical Theorems. 121-127 2001 42 Notre Dame Journal of Formal Logic 2 db/journals/ndjfl/ndjfl42.html#Doets01