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

Metakides G., Nerode A. [1977] Recursively enumerable vector spaces Ann. Math. Logic, 11, № 2, 147-171 78.05.47 S article Вернуться к поиску

Metakides G., Nerode A. [1979] Effective content of field theory Ann. Math. Logic, 17, № 3, 289-320. 08.09.102 OS article Вернуться к поиску

Metakides G., Nerode A. [1980] Recursion theory on fields and abstract dependence J. Algebra, 65, № 1, 36-59 81.01.40 SG article Вернуться к поиску

Metakides G., Remmel J.B. [1979] Recursion theory on orderings, I. A Model theoretic setting J. Symbolic Logic, 44, № 3, 383-402 80.05.53 S article Вернуться к поиску

Metakides G., Nerode A. [1975] Recursion theory and algebra Lect. Notes in Math., 450, 209-219, Springer-Verlag 75.10.80 SG article Вернуться к поиску

Metakides G., Nerode A., Shore R.A. [1985] Recursive limits on the Hahn-Banach theorem Contemporary Math., 39, 85-91 86.Б3.1134 S article Вернуться к поиску

Metakides G., Nerode A. [1982] The introduction of non recursive methods in mathematics Proc. Conf. “The I. E .J. Brouwer Centenary Symp.”, (Noorwijkerhout, 1981), North-Holland, 319-335 ? OS article Вернуться к поиску

... D. Marques I. MartinDA MartinG Matiyasevich Yu.V. Mayoh B.H. McCarthyC McCarthyJ McCoy Ch.F.D. McCreight E.M. McEvoy K. McKenzie R. McKinsey J. C. C. McLaughlin T.G. McNicholl T. H. McNulty G. Melhorn K. Melzak Z.A. Mendelson E. Menzel W. Merkle W. Metakides G. MeyerAR Mihailovich N. J. Mileti J.R. MillarRC MillarTS MillerD MillerJS MillerRG MillerS MillerW Mills C.F. Minsky M.L. Mitchell R. Moggi E. Moh Shaw-kwei Mohrherr J. Moldestad J. Moll R. Monk J.D. Montagna F. Montalban A. MooreD MooreEF Morley M....