Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Feiner L. [1973] Degrees of nonrecursive presentability Proc. Amer. Math. Soc., 38, № 3, 621-624 74.01.86 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Feiner L. [1970] Hierarchies of Boolean algebras J. Symbolic Logic, 35 , № 3, 365-374 (Русский перевод в книге Дж. С. Шенфилда Степени неразрешимости , М., Наука, 1977, 163-179.) 71.07.80 article ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Feiner L. [1970] The strong homogeneity conjecture J. Symbolic Logic, 35 , № 3, 375-377 (Русский перевод в книге Дж.С. Шенфилда Степени неразрешимости , М., Наука, 1977, 180-184.) 71.06.53 RO article ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.F Fabian R.J. Fan Yun Feferman S. Feiner L. FejerL FejerPA Fellows M.R. Fenner S. Fenstad J.E. Ferrante J. Figueira S. Finkelstein M. FischerMJ FischerP Fischer.PC Fitting M. Flajolet P. Fleischhack H. Florence J.B. Fokina E.B. Fortnow L. Fotrune S. Fraissé R. Freivalds R.V. Friedberg R.M. ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.