Grigori Mints
id:
grigori-mints-272-10859604
title:
Grigori Mints
text:
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 under Nikolai Aleksandrovich Shanin with a thesis entitled "On Predicate and Operator Variants for Building Theories of Constructive Mathematics". In 1990 he received his D.Sc. from Leningrad State University with a thesis entitled "Proof Transformations and Synthesis of Programs". He was a St
brand slug:
wiki
category slug:
encyclopedia
description:
Russian mathematician (1939–2014)
original url:
https://en.wikipedia.org/wiki/Grigori_Mints
date created:
date modified:
2024-04-25T19:25:02Z
main entity:
{"identifier":"Q17489542","url":"https://www.wikidata.org/entity/Q17489542"}
image:
fields total:
13
integrity:
14