Grigori Mints

Grigori Mints was a Russian philosopher and mathematician who worked in mathematical logic. He was born in Leningrad, in the Soviet Union, and received his Ph. D. in 1965 from the Leningrad State University . . .