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
Гильберт Д., Бернайс П., [1982] Основания математики. Теория доказательств М., Наука (Перевод книги Hilbert D., Bernays P. “Grunlagen der Mathematik, II,” 1970.) 83.0115. книга Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Гильберт Д., Бернайс П. [1979] Основания математики. Логические исчисления и формализация М., Наука (Перевод книги Hilbert D., Bernays P. “Grundlagen der Mathematik, I” , 1968.) ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Матиясевич Ю.В. [1993] Десятая проблема Гильберта М., Наука 93.08.28 книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Г Гаврилов С. Гаврюшкин А.Н. Гайлит М.В. Гермес Г. Гильберт Д. Голунков Ю.В. Гончаров С.С. Гришин В.Н. Гуревич Ю.Ш. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Матиясевич Ю.В. [1968] Связь системам уравнений в словах с 10-ой проблемы Гильберта Зап. ЛОМИ АН СССР, VIII, Л., 132--144 69.08.125 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.