Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context
Résumé
The paper is based on my recollections of Grigori Mints (1939–2014) completed by a survey of his research work in a scientific context. I speak mostly about the Soviet period of his life and work (until 1991), and sometimes go beyond the purely scientific aspects to show the atmosphere of these times.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...