
2003, Volume 242




Mathematical logic and algebra
Collected papers. Dedicated to the 100th birthday of academician Petr Sergeevich Novikov
Volume Editor: S. I. Adian^{} Editor in Chief: E. F. Mishchenko^{}
ISBN: 5020326046
Abstract: In Moscow in August 2001, an international conference was organized that was dedicated to the 100th birthday of Petr Sergeevich Novikov, an outstanding Russian mathematician. The present volume contains contributions from representatives of the scientific school of Novikov, as well as papers by other participants of this conference. The papers included in this volume relate to various fields of algebra and mathematical logic: proof theory, theory of algorithms, intuitionism, complexity of computation, etc.
The volume will be useful to mathematicians interested in topical problems of mathematical logic and algebra.
Citation:
Mathematical logic and algebra, Collected papers. Dedicated to the 100th birthday of academician Petr Sergeevich Novikov, Trudy Mat. Inst. Steklova, 242, ed. S. I. Adian, E. F. Mishchenko, Nauka, MAIK «Nauka/Inteperiodika», M., 2003, 208 pp.
Citation in format AMSBIB:
\Bibitem{1}
\book Mathematical logic and algebra
\bookinfo Collected papers. Dedicated to the 100th birthday of academician Petr Sergeevich Novikov
\serial Trudy Mat. Inst. Steklova
\yr 2003
\vol 242
\publ Nauka, MAIK «Nauka/Inteperiodika»
\publaddr M.
\ed S.~I.~Adian, E.~F.~Mishchenko
\totalpages 208
\mathnet{http://mi.mathnet.ru/book255}
Linking options:
http://mi.mathnet.ru/eng/book255
Full text:
Contents
Review databases:
Additional information
Mathematical Logic and Algebra
Collected papers. Edited by Academician S. I. Adian. Dedicated to the 100th birthday of Academician
Petr Sergeevich Novikov
In Moscow in August 2001, an international conference was organized that was dedicated to the 100th birthday of Petr Sergeevich Novikov, an outstanding Russian mathematician. The present volume contains contributions from representatives of the scientific school of Novikov, as well as papers by other participants of this conference. The papers included in this volume relate to various fields of algebra and mathematical logic: proof theory, theory of algorithms, intuitionism, complexity of computation, etc.
The volume will be useful to mathematicians interested in topical problems of mathematical logic and algebra. 

