Grigori Efroimovich Mints
Original record- Institution
- St. Petersburg State University
- Year
- 1965
- Country
- Russia
- MGP identifier
- 41775
Dissertation: On Predicate and Operator Variants for Building Theories of Constructive Mathematics
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Nikolai Aleksandrovich ShaninSteklov Institute of Mathematics · 1942
Students 11
| Name | Institution | Year | Students |
|---|---|---|---|
| Jesse Alama | Stanford University | 2009 | 0 |
| Ali Avaz-oglu Babaev | Kishinev State University | 1985 | 0 |
| Ulrik Torben Buchholtz | Stanford University | 2013 | 0 |
| Mustafa Hussain Fahmi | St. Petersburg State University | 1972 | 0 |
| David Fernández-Duque | Stanford University | 2008 | 1 |
| Regimantas Ricardas Pliuskevicius | Steklov Institute of Mathematics | 1967 | 6 |
| Memed Georgievich Rogava | Steklov Institute of Mathematics | 1968 | 0 |
| Masaru Shirahata | Stanford University | 1994 | 0 |
| Sergei Vladimirovich Soloviev | Steklov Institute of Mathematics | 1984 | 5 |
| Tanel Tammet | Göteborgs universitet | 1992 | 0 |
| Sergei Tupailo | Stanford University | 1998 | 0 |