In Memoriam: Grigori E. Mints (2015)
Solomon Feferman and Vladimir Lifschitz
On May 29, 2014, ten days before his 75th birthday, Grigori ("Grisha") Mints died at Stanford, California of cardiac arrest; he had suffered a serious stroke a month before from which he never recovered. At the time of his death Mints held the position of Professor of Philosophy at Stanford University with courtesy appointments in Mathematics and Computer Science. His main contributions were to proof theory, constructive mathematics, intuitionistic logic, modal logic, and automated deduction.
Bulletin of Symbolic Logic, Vol. 21 (2015).

Vladimir Lifschitz Faculty vl [at] cs utexas edu