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
Martin D.A. [1963] A theorem on hyperhypersimple sets J. Symbolic Logic, 28 , № 4, 273-278 66.05.65 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Martin D.A. [1975] Borel Determinacy Ann. Math., 102, № 2, 363-371 76.В5.708 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Martin D.A. [1966] On a question of G.E. Sacks J. Symbolic Logic, 31, № 1, 66-69 ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Martin D.A. [1977] Descriptions set theory: projective sets Handbook of Mathematic Logic, p. B, North-Holland, 783-815 (Русский перевод в Справочной книге по математической логике , ч. II , (Гришин В.Н.-ред.), М., Наука, 1982, 235-272.) ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.