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
MacIntyre J. M. [1973] Nonminimal segments of the α-degrees J. Symbolic Logic, 38, № 3, 368-388 74.08.68 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.MacIntyre J.M. [1977] Transfinite extensions of Friedberg’s completeness criterion J. Symbolic Logic, 42, № 1, 1-10 78.07.66 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.MacIntyre J. M. [1973] Minimal α-recursion theoretic degrees J. Symbolic Logic, 38, № 1, 18-28 73.10.51 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....
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.