Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Гильберт Д., Бернайс П., [1982] Основания математики. Теория доказательств М., Наука (Перевод книги Hilbert D., Bernays P. “Grunlagen der Mathematik, II,” 1970.) 83.0115. книга Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гильберт Д., Бернайс П. [1979] Основания математики. Логические исчисления и формализация М., Наука (Перевод книги Hilbert D., Bernays P. “Grundlagen der Mathematik, I” , 1968.) ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Матиясевич Ю.В. [1993] Десятая проблема Гильберта М., Наука 93.08.28 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Г Гаврилов С. Гаврюшкин А.Н. Гайлит М.В. Гермес Г. Гильберт Д. Голунков Ю.В. Гончаров С.С. Гришин В.Н. Гуревич Ю.Ш. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Матиясевич Ю.В. [1968] Связь системам уравнений в словах с 10-ой проблемы Гильберта Зап. ЛОМИ АН СССР, VIII, Л., 132--144 69.08.125 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.