Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Enderton G., Luckham D. [1964] Hierarchies over recursive well-ordering J. Symbolic Logic, 29, № 4, 183-190 68.07.66 R article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Enderton G. [1964] Hierarchies in recursive function theory Trans. Amer. Math. Soc., 111, № 3, 457-471 65.01.61 R article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Enderton G., Putnam H. [1970] A note on the hyperarithmetical hierarchy J. Symbolic Logic, 35, № 3, 429-430 71.06.58 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.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. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Enderton G. [1977] Elements of recursive theory Handbook of Mathematic Logic, p. C, North-Holland, 527-566 (Русский перевод в Справочной книге по математической логике , ч. III , (Ершов Ю.Л.- ред.), М., Наука, 1982, 9-50.) ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.