Search results

Morozov A.S. [1998] Groups of computable automorphisms Handbook of Recursive Mathematics, v.1, 311-345, Elsevier ? article Вернуться к поиску

Harizanov V. S., Knight J. F., Morozov A. S. [2002] Sequences on n -diagrams J. Symbolic Logic, 67, № 3, 1227-1247 06.10.49 article Вернуться к поиску

Morozov A.S., Truss J. K. [2001] On computable automorphisms of the rational numbers J. Symbolic Logic, 66, № 3, 1458-1470 02.11.157 article Вернуться к поиску

Calvert W. ,Fokina E.B.,Goncharov S. S., Knight J.,Kudinov O.V.,Morozov A.S.,Puzarenko V.G. [2007] Index sets for classes of high rank structures J. Symbolic Logic, 72, № 4, 1418-1432 ? 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 Вернуться к поиску

... 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.D. Morozov A.S. Morris P.B. Moschovakis Y.N. Moses M.F. Mostowski A. MouradJ MouradKJ Mrowka S. MuchnikAn.A. Muraki H. Myasnikov A.G. Mycka J. Myhill J. Mytilinaios M.E. Вернуться на главную страницу