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
Epstein R.L. [1981] Initial segments of degrees below 0 / Memoirs Amer. Math. Soc., № 241 81.09.27 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cooper S.B., Epstein R. L. [1987] Complementing below recursively enumerable degrees Ann. Pure Appl. logic, 34, № 1, 15-32 ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Posner D. B., Epstein R.L. [1978] Diagonalization in degree constructions J. Symbolic Logic, 43, № 2, 280-283 79.02.55 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Epstein R.L. [1979] Degrees of unsolvability: Structure and Theory Lect. Notes in Math., 759, Springer-Verlag 80.04.20 SO book Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Epstein R.L., Carnielly W.A. [1989] Computability: computable functions, logic and the foundations of mathematics Wadswoth/Thomson Learning, Belmont, CA ? book Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Epstein R.L. [1975] Minimal degrees of unsolvability and the full approximation construction Memoirs Amer. Math. Soc., № 162 76.11.71; OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Epstein R.L., Haas R., Kramer R. [1981] Hierarchies of sets and degrees below 0 / Lect. Notes in Math., 859, 32-48, Springer-Verlag 82.02.57 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.E Ebbinghaus H.D. Ehrenfeucht A. Eilenberg S. Eisenberg E.F. Elgot C.C. Ellentuck E. EndertonG EndertonHB Englert B. Epstein R.L. Ershov Yu. L. Eršov Yu.L. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ishmukhametov Sh.Т. [2003] On a problem of Cooper and Epstein J. Symbolic Logic, 68, № 1, 52-64 06.01.72 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.