Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Wainer S.S. [1985] Subrecursive ordinals Lect. Notes in Math., 1141, 405-418, Springer-Verlag 86.05.56 S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Wainer S.S. [1999] Accessible recursion functions Bull. Symbolic Logic, 5, № 3, 367-388 01.07.77 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Wainer S.S. [1989] Slow growing versus fast growing J. Symbolic Logic, 54, № 2, 608-614 90.06.54 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Normann D., Wainer S. S. [1980] The 1-section of a countable functional J. Symbolic Logic, 45, № 3, 549-562 81.05.56 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Wainer S.S. [1974] A hierarchy for the 1-section of any type two object J. Symbolic Logic, 39, № 1, 88-94 75.02.99 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Wainer S.S. [1970] A classification of the ordinal recursive functions Arch. Math. Logik Grundl., 13, № 3-4, 136-153 71.07.77 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Heaton A.J., Wainer S.S. [1996] Axioms for subrecursive theories London Math. Soc. Lect. Notes, Cambridge Univ. Press, Cambridge, 224, 123-138 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Dennis-Jones E.G., Wainer S.S. [1984] Subrecursive hierarchis via direct limits Lect. Notes in Math., 1104, 117-128, Springer-Verlag 85.10.62 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cooper S.B., Slaman T.A., Wainer S.S. [1996] Appendix: questions in recursive theory London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 333-347 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cenzer D., Clote P., Smith R. L., Soare R.I., Wainer S.S. [1986] Members of countable Π 1 0 classes Ann. Pure Appl. Logic, 31, № 2-3 , 145-163 ? S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Wainer S.S. [1985] The “slow-growing” Π 2 1 approach to hierarchies Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 487-502 86.03.35 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.W WagnerEG WagnerK Wagner.KW Wainer S.S. Wald K. Walk S. WangHao WangJ Watanabe O. Watnick R. Watson P. WeberF Weber.FP WeberR Wechsung G. Wehner S. Weihrauch K. Weitkamp G. WelchL Welch.LV WelchPD Weyuker E. White W. Wiehagen R. Winklmann K. Woodin H.W. Woods A.R. Wrathall C. Wright J....
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.