Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Giusto M., Simpson S.G. [2000] Located sets and reverse mathematics J. Symbolic Logic, 65, № 3, 1451-1480 05.01.26 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Brown D.K., Giusto M., Simpson S.G. [2002] Vitali’s theorem and WWKL Arch. Math. Logik Grundl., 41, № 2, 191-206 04.11.108 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.G GaleA GaleD Gandy R.O. Ganesan K. Gao Su Gasarch W.I. Georgieva N. Gerla G. Gill J. Giorgi M.B. Giusto M. Gladstone M.D. Glasser C. Gödel K. Goetze B. GoldEM Goldfarb W.D. Goncharov S.S. Gonshor H. Gordon C. E. Grant P.W. Grassin J. Greenberg N. Griffiths E.J. J. Griffor E.R. Grilliot T. Groszek M. J. Grzegorczyk A. Guichard D. Gurevich Ju. Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.