Grigori Mints: Three Faces of Natural Deduction. TABLEAUX 1997: 16-30