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
Клини С. К. [1957] Введение в метаматематику М., ИЛ (Перевод книги Kleene S. C., “Introduction to metamathematics”, 1952.) 57.7591 RE книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Клини С. К. [1973] [2005] Математическая логика М., Мир М., Едиториал УРСС (Перевод книги .Kleene S.C. , Mathematical Logic, 1967.) 74.07.89; 06.01.59 E книга Вернуться к поиску
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.