Sergei Artemov

Sergei Nikolaevich Artemov (em russo: Сергей Николаевич Артемов; Uralsk, 25 de dezembro de 1951) é um lógico matemático russo-estadunidense.

Sergei Artemov
Sergei Artemov
Nascimento 25 de dezembro de 1951 (72 anos)
Uralsk, União Soviética
Alma mater Universidade Estatal de Moscou, Instituto de Matemática Steklov
Orientador(es)(as) Andrei Kolmogorov[1]
Campo(s) Lógica matemática
Tese 1980: Extensions of Arithmetic and Modal Logics

Referências

Ligações externas

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.