The life and work of Sergei Artemov

DOI10.1016/J.APAL.2013.07.002MaRDI QIDQ392268zbMATH OpenOpenAlexFDO

Authors Melvin Fitting, Anil Nerode

Publication date 13 January 2014

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2013.07.002

zbMATH Keywords

scientific workBiography

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

This page was built for publication: The life and work of Sergei Artemov

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392268)