Книга
Тип экземпляра:
Книга
Папки, в которых отображается этот экземпляр:
2026.03.20_ВЕРА
Математическая логика = Mathematical logic / Р. Л. Гудстейн ; Пер. с англ. В. С. Чернявского ; Под ред., [с примеч.] и предисл. С. А. Яновской
Язык: Русский Исходный язык: Английский Выходные данные: Москва: Изд-во иностр. лит., 1961Физическая характеристика: 162 с
Содержание:
УДК:510.6
В кн. также: К теореме о канонической форме для ординально-рекурсивных функций / А.В. Кузнецов
| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код |
|---|---|---|---|---|---|
| Книга | Институт прикладной математики им. М.В. Келдыша Миусская | 51:164 / Г 93 | Доступно | ||
| Книга | Институт прикладной математики им. М.В. Келдыша | Доступно |
Доп. тит. л. англ.
Пер. изд.: Mathematical logic. By R. L. Goodstein. Leicester, Univ. press, 1957
Библиогр. в примеч.: с. 142-148
В кн. также: К теореме о канонической форме для ординально-рекурсивных функций / А.В. Кузнецов