Chair of Mathematical Logic and Theory of Algorithms

The paper describes the history of the creation and activities of the Chair of Mathematical Logic and Theory of Algorithms at Lomonosov Moscow State University. A brief description of the areas of work and achievements of graduates of the chair and its fellows is given.

Saved in:

Bibliographic Details
Published in:	Moscow University mathematics bulletin Vol. 80; no. 1; pp. 23 - 33
Main Authors:	Semenov, A. L., Babenko, M. A., Belov, A. Ya, Vereshchagin, N. K., Vishnikin, M. E., Zolin, E. E., Krupski, V. N., Kuznetsov, S. L., Lyubetsky, V. A., Onoprienko, A. A., Pentus, M. R., Soprunov, S. F., Sorokin, A. A., Shekhtman, V. B., Yavorskaya, T. L.
Format:	Journal Article
Language:	English
Published:	Moscow Pleiades Publishing 01.02.2025 Springer Nature B.V
Subjects:	Algorithms Analysis Artificial intelligence Cognition & reasoning Constructivism Geometry Mathematical logic Mathematics Mathematics and Statistics Proof theory Set theory Students Union of Soviet Socialist Republics > USSR Lomonosov Moscow State University Chair of Mathematical Logic and Theory of Algorithms
ISSN:	0027-1322, 1934-8444
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!