Search results

McCoy Ch. F. D. [2002] Finite computable dimension does not relativize Arch. Math. Logik Grundl., 41, № 4, 309–320 05.05.106 article Вернуться к поиску

Goncharov S.S., Harizanov V.S., Knight J.F., McCoy Ch.F.D., Millar R.C., Solomon R. [2005] Enumerations in computable structure theory Ann. Pure Appl. Logic, 136, № 3, 219-246 ? article Вернуться к поиску

Goncharov S.S., Harizanov V.S., Knight J.F., McCoy Ch.F.D., [2003] Simple and immune relations on coutable structures Arch. Math. Logik Grundl., 42, № 3, 279-291 85.05.109 article Вернуться к поиску

Lempp S., McCoy Ch.F.D., Morozov A.S., Solomon D.R. [2003] On self-embeddings of computable linear orders Computability and models: perspectives East and West Kluwer Academic/Plenum Publishers, 259-265 ? article Вернуться к поиску

... MacintyreA MacIntyreJM Madan D.B. Mahaney S.R. Mahn F.K. Maier W. Mainhardt G. Maksimova L. L. Malcev A.I. Manasse M. Manaster A. B. Marandzjan G. B. Marcone A. Marker 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 ...