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
Enderton G., Luckham D. [1964] Hierarchies over recursive well-ordering J. Symbolic Logic, 29, № 4, 183-190 68.07.66 R article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Enderton G. [1964] Hierarchies in recursive function theory Trans. Amer. Math. Soc., 111, № 3, 457-471 65.01.61 R article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Enderton G., Putnam H. [1970] A note on the hyperarithmetical hierarchy J. Symbolic Logic, 35, № 3, 429-430 71.06.58 O 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.Enderton G. [1977] Elements of recursive theory Handbook of Mathematic Logic, p. C, North-Holland, 527-566 (Русский перевод в Справочной книге по математической логике , ч. III , (Ершов Ю.Л.- ред.), М., Наука, 1982, 9-50.) ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.