Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
Вход
Русский
Белорусский
Английский
Deutsch
Español
Français
中文(繁體)
polski
Язык
Электронный каталог Национальной библиотеки Беларуси находится в тестовом режиме
Перейти в электронную библиотеку
Все поля записи
Заглавие
Автор/Создатель
Предмет
ISBN/ISSN/...
Найти
Расширенный поиск
Вычислимость и логика...
Отправить на Email
Печать
Запись для экспорта
Экспорт в RefWorks
Экспорт в EndNote
Экспорт в MARC
Экспорт в MARCXML
Экспорт в BibTeX
Добавить в Избранное
Заказать документ через ЭДД
Вычислимость и логика / Пер. с англ. В.А.Душского, Е.Ю.Ногиной
Сохранено в:
Шифр документа:
1Ок62824,
Вид документа:
Книги
Автор:
Булос, Д.
Опубликовано:
М.
:
Мир
,
1994
Физические характеристики:
396 с.
Язык:
Русский
Предмет:
МАТЕМАТИЧЕСКАЯ ЛОГИКА
МАТЭМАТЫЧНАЯ ЛОГІКА
Подробнее
Другие авторы/ответственные:
Джеффри, Р.
,
Душский, В. А.
,
Ногина, Е. Ю.
,
Артемов, С. Н.
ISBN:
5-03-003067-0
Примечания:
Изд. осуществлено при фин. поддержке Рос. фонда фундам. исслед
Указ. имен., предм.: с. 390-394.
3000 экз
Местонахождение
BELMARC-запись
ОФХ отдела книгохранения
Всего : 1 , доступно: 0
Недоступно (ЗАНЯТ)
Информация об экземплярах
Шифр
Фонд
Место нахождения
Статус экземпляра
Читальный зал
1Ок62824
ОФХ отдела книгохранения (039)
12:2:1:11
ЗАНЯТ
Общий читальный зал
Схожие документы
Лекции по математике / В. Босс. Т. 6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. — 2015. — 207 с.
Автор: Опойцев, В. И. (род. 1944)
Опубликовано: (2015)
Определимость и вычислимость / Ю.Л.Ершов. - 2-е изд., испр. и доп. - М. : Экономика : Новосибирск, Науч. кн., 2000. - 318 с. - (Сибирская школа алгебры и логики)
Автор: Ершов, Ю. Л. (род. 1940)
Опубликовано: (2000)
Обобщенная вычислимость и определимость : [сборник статей] / научные редакторы: Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Институт математики СО РАН, 1998. — 170 с. — (Вычислительные системы ; вып. 161)
Опубликовано: (1998)