Blass, Andreas (ed.); Cégielski, Patrick (ed.); Dershowitz, Nachum (ed.); Droste, Manfred (ed.); Finkbeiner, Bernd (ed.) Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. (English) Zbl 1498.03010 Lecture Notes in Computer Science 12180. Cham: Springer (ISBN 978-3-030-48005-9/pbk; 978-3-030-48006-6/ebook). x, 341 p. (2020). MSC: 03-06 68-06 03B70 68Qxx 00B30 PDFBibTeX XMLCite \textit{A. Blass} (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer (2020; Zbl 1498.03010) Full Text: DOI
Beklemishev, Lev D. (ed.); Blass, Andreas (ed.); Dershowitz, Nachum (ed.); Finkbeiner, Bernd (ed.); Schulte, Wolfram (ed.) Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. (English) Zbl 1321.03008 Lecture Notes in Computer Science 9300. Cham: Springer (ISBN 978-3-319-23533-2/pbk; 978-3-319-23534-9/ebook). x, 319 p. (2015). MSC: 03-06 68-06 03B70 68Qxx 00B30 PDFBibTeX XMLCite \textit{L. D. Beklemishev} (ed.) et al., Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Cham: Springer (2015; Zbl 1321.03008) Full Text: DOI
Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang Yuri, logic, and computer science. (English) Zbl 1287.01016 Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 1-48 (2010). MSC: 01A70 03-03 68-03 PDFBibTeX XMLCite \textit{A. Blass} et al., Lect. Notes Comput. Sci. 6300, 1--48 (2010; Zbl 1287.01016) Full Text: DOI
Blass, Andreas (ed.); Dershowitz, Nachum (ed.); Reisig, Wolfgang (ed.) Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. (English) Zbl 1194.03003 Lecture Notes in Computer Science 6300. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). xiii, 627 p. (2010). MSC: 03-06 68-06 03B70 00B30 PDFBibTeX XMLCite \textit{A. Blass} (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (2010; Zbl 1194.03003) Full Text: DOI