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

Liu S.C. [1963] A note on many-one reducibility J. Symbolic Logic, 28, № 1, 35-42 66.03.57 article Вернуться к поиску

Liu S.C. [1963] On many-one degrees J. Symbolic Logic, 28, № 2, 143-153 66.03.58 article Вернуться к поиску

Liu S.C. [1960] A theorem on general recursive functions Proc. Amer. Math. Soc., 11, № 2, 184-187 61.04.78 EO article Вернуться к поиску

Liu S.C. [1960] Proof of the conjecture of Routledge Proc. Amer. Math. Soc., 11, №6, 967-969 61.09.108 article Вернуться к поиску

Liu S.C. [1960] An enumeration of the primitive recursive functions without repetition Tohoku Math. J., 12, № 3, 400-402 62.06.55 EO article Вернуться к поиску

Liu S.C. [1960] An example of general recursive well-ordering which is not primitive recursive Tohoku Math. J., 12, № 2, 233-234 62.05.86 E article Вернуться к поиску

... 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. Lynch N.A. Lyndon R.C. Вернуться на главную страницу