Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Miller S. [2004] Degrees of unsolvability of continuous functions J. Symbolic Logic, 69, № 2, 555–584 07.01.79 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Knight J. F., Miller S., Vanden Boom M. [2007] Turing computable embeddings J. Symbolic Logic, 72, № 4, 901- 918 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chisholm J., Knight J.F., Miller S. [2007] Computable embeddings and strongs minimal theories J. Symbolic Logic, 72, № 3, 1031-1040 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... 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.D. Morozov A.S. Morris P.B. Moschovakis Y.N. Moses M.F. Mostowski A. MouradJ MouradKJ ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.