Вычислимость и логика / Дж. Булос, Р. Джеффри ; [Пер. с англ. В. А. Душского, Е. Ю. Ногиной ; Под ред. С. Н. Артемова]

Другие авторы:

Язык: Русский Исходный язык: Английский Выходные данные: Москва: Мир, 1994Физическая характеристика: 396 с. илISBN:

УДК:510.6 ; 510.57

Тип экземпляра: Книга Папки, в которых отображается этот экземпляр: 2026.03.10_ВЕРА

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Статус	Срок возврата	Штрих-код
Книга	Институт прикладной математики им. М.В. Келдыша Миусская	510 / Б 90	Доступно

Пер. изд.: Computability and logic / George S. Boolos, Richard C. Jeffrey. - 3d ed. - Cambridge [et al.]: Cambridge University Press, 1989

Имен. указ.: с. 388

Предм. указ.: с. 389-394