Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Martin D.A. [1963] A theorem on hyperhypersimple sets J. Symbolic Logic, 28 , № 4, 273-278 66.05.65 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Martin D.A. [1975] Borel Determinacy Ann. Math., 102, № 2, 363-371 76.В5.708 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Martin D.A. [1966] On a question of G.E. Sacks J. Symbolic Logic, 31, № 1, 66-69 ? OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Martin D.A. [1966] Completeness, the recursion theorem and effectively simple sets Proc. Amer. Math. Soc., 17, № 4, 838-842 67.04.61 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Martin D.A. , Miller W. [1968] The degrees of hyperimmune sets Z. math. Logik und Grundl. Math., 14, № 2, 159-166 69.01.81 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Martin D.A. [1966] Classes of recursively enumerable sets and degrees of unsolvability Z. math. Logik und Grundl. Math., 12, № 4, 295-310 67.07.87 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Martin D.A. [1977] Descriptions set theory: projective sets Handbook of Mathematic Logic, p. B, North-Holland, 783-815 (Русский перевод в Справочной книге по математической логике , ч. II , (Гришин В.Н.-ред.), М., Наука, 1982, 235-272.) ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.M Maass W. Mac Queen D. Machover M. Machtey M. 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 ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.