Gurevich, Yuri Obituary: Gregory Tseytin. (English) Zbl 07800881 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 141, 9-14 (2023). MSC: 01A70 03-03 68-03 PDFBibTeX XMLCite \textit{Y. Gurevich}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 141, 9--14 (2023; Zbl 07800881) Full Text: Link
Gurevich, Yuri Obituary: Yuri Manin. (English) Zbl 1514.01027 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 139, 15-16 (2023). MSC: 01A70 PDFBibTeX XMLCite \textit{Y. Gurevich}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 139, 15--16 (2023; Zbl 1514.01027) Full Text: Link
Artemov, S. N.; Barzdiņš, J. M.; Bokut’, L. A.; Gurevich, Yu. Sh.; Dekhtyar’, A. M.; Levin, L. A.; Lomazova, I. A.; Matiyasevich, Yu. V.; Nepomnyashchii, V. A.; Novikov, S. P.; Rabinovich, A.; Sazonov, V. Yu.; Slisenko, A. O.; Sokolov, V. A.; Trakhtenbrot, M. B.; Shilov, N. V. Boris Abramovich Trakhtenbrot (on the centenary of his birth). (English. Russian original) Zbl 1485.01044 Russ. Math. Surv. 77, No. 1, 183-188 (2022); translation from Usp. Mat. Nauk 77, No. 1, 191-195 (2022). MSC: 01A70 PDFBibTeX XMLCite \textit{S. N. Artemov} et al., Russ. Math. Surv. 77, No. 1, 183--188 (2022; Zbl 1485.01044); translation from Usp. Mat. Nauk 77, No. 1, 191--195 (2022) Full Text: DOI
Gurevich, Yuri The 1966 International Congress of Mathematicians: a micro-memoir. (English) Zbl 1409.01017 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 120, 138-147 (2016). MSC: 01A65 03-03 PDFBibTeX XMLCite \textit{Y. Gurevich}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 120, 138--147 (2016; Zbl 1409.01017) Full Text: arXiv Link
Gurevich, Yuri Past present. (English) Zbl 1338.01011 Int. J. Found. Comput. Sci. 27, No. 2, 103-107 (2016). MSC: 01A60 01A61 01A73 PDFBibTeX XMLCite \textit{Y. Gurevich}, Int. J. Found. Comput. Sci. 27, No. 2, 103--107 (2016; Zbl 1338.01011) Full Text: DOI
Archangelskiĭ, D. A.; Baĭzhanov, B. S.; Belegradek, O. V.; Belyaev, V. Ya.; Bokut, L. A.; Valiev, M. K.; Vodopyanov, S. K.; Daderkin, D. O.; Dekhtyar, A. M.; Dekhtyar, M. I.; Dikovskiĭ, A. Ya.; Dudakov, S. M.; Gitik, M.; Gurevich, Yu. S.; Krushkal, S. L.; Kutateladze, S. S.; Matiyasevich, Yu. V.; Mints, G. E.; Musikaev, I. Kh.; Rebrov, A. K.; Reshetnyak, Yu. G.; Semenov, A. L.; Stolboushkin, A. P.; Taĭmanov, I. A.; Trakhtenbrot, B. A.; Zelmanov, E. I.; Zilber, B. I. Mikhail Abramovich Taĭtslin (1936–2013). (Russian. English summary) Zbl 1330.01058 Sib. Èlektron. Mat. Izv. 10, A.54-A.65 (2013). MSC: 01A70 03-03 68-03 PDFBibTeX XMLCite \textit{D. A. Archangelskiĭ} et al., Sib. Èlektron. Mat. Izv. 10, A.54-A.65 (2013; Zbl 1330.01058)
Gurevich, Yuri Platonism, constructivism, and computer proofs vs. proofs by hand. (English) Zbl 1012.03011 Păun, Gheorghe (ed.) et al., Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992-2000. Singapore: World Scientific. 281-302 (2001). MSC: 03A05 00A35 03F50 00A30 01A60 PDFBibTeX XMLCite \textit{Y. Gurevich}, in: Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992--2000. Singapore: World Scientific. 281--302 (2001; Zbl 1012.03011)