Библиография Лаврова И.А.

Lavrov I.A. [1979] Retracts of Post’s numbering and effectivization of quantifiers Essays on Math., Phil. Logic, D.Reidel Publ.Com., 287-294 ? article Вернуться к поиску

Lavrov I.A. [1977] Computable numberings Proc. V Inter. Congress Logic, Methodology, Philosophy Sci., (London, Ontario, Canada, 1975), D.Reider Publ. Comp., 195-206 ? E article Вернуться к поиску

Lavrov I.A. [1985] The use of the Theory of algorithms in General Systems Theory A Science of Goal Formulation, Hemisphere Publ. Corp., 1991, 151-160 ? article Вернуться к поиску

Lavrov I. A., Maksimova L. L. [2003] Problems in Set Theory, Mathematical Logic and Theory of algorithms Kluwer Academic/Plenum Publishers (Перевод книги Лавров И.А., Максимова Л. Л. “ Задачи по теории множеств, мат. логике и теории алгоритмов”, 2002.) ? book ...

L La Roche P. Lachlan A. H. Lacombe D. Ladner R.E. LaForte G. Lakins T. Lambert W. M. Landweber L.H. Langford G. Läuchli H. Lavrov I.A. Lebeuf R. Leeds S. Leggett A. Leivant D. Lempp S. LeonardJ Leonhardi S.D. Lerman M. LewisA LewisFD LewisHR LewisPM LiAngs LiXiang Lipton R.J. Liu S.C. Loh Chang-wan LongTJ Longo G. Longpre L. Louveau A. Lowenthal F. Lu Hong Lubarsky R.S. Luckham D....

... признателен за все замечания и предложения, которые можно ему сообщать по адресу: lavrov@ispras.ru . Несколько правил пользования данной поисковой системой 1. Если Вы... ... информацию о данной работе. Например, система выдала следующую подборку: Abraham U., Shore R.A. [1986] Initial segments of the Turing degrees Israel. J. Math., 53, № 1, 1-51 86... ... “Classical Recursive Theory, The theory of functions and sets of natural numbers, v. I, II”; S – Соар Р.И. "Вычислимо перечислимые множества и степени" (русский...