Soloviev, Sergei
Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context.
(2017)
IfCoLog Journal of Logics and their Applications, 4 (4). 817-840. ISSN 2055-3706
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 394kB |
Official URL: http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf
Abstract
The paper is based on my recollections of Grigori Mints (1939–2014) com-pleted 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.
Item Type: | Article |
---|---|
Additional Information: | Special Issue Dedicated to the Memory of Grigori Mints ISBN 978-1-84890-204-4 |
HAL Id: | hal-02348258 |
Audience (journal): | International peer-reviewed journal |
Uncontrolled Keywords: | |
Institution: | Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE) Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE) Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE) |
Laboratory name: | |
Funders: | Government of the Russian Federation Grant 074-U01 awarded to the ITMO University, St. Petersburg (Russie) |
Statistics: | download |
Deposited On: | 24 Oct 2019 11:22 |
Repository Staff Only: item control page