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.) 80.05.32; 83.07.43 ...
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.