OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context

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

[img]
Preview
(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