Языки и исчисления / Н.К. Верещагин, А. Шень
Язык: русский.Выходные данные: М. : МЦНМО, 2000Физическая характеристика: 286 с. ; 20 см.ISBN: 5-900916-66-9 Серия: Лекции по математической логике ; [Ч. 2] . Современные лекционные курсы Примечания: На обл. загл. сер.: Математическая логика и теория алгоритмов.Библиография: Библиогр.: с. 269-272 (34 назв.); Предм. указ.: 273-282; Указ. имен: с. 283-284.Предметная рубрика - Тема: Математическая логика -- Руководства, пособия и т.п. -- Исчисление высказываний | Исчисление высказываний -- Учебные издания | Математическая логика -- Руководства, пособия и т.п. -- Исчисление предикатов | Исчисление предикатов -- Учебные издания Другие классификации: В123я7-2Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2001-3/2263 (Просмотр полки(Открывается ниже)) | 2374 | Доступно | 109300 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2001-3/2263 (Просмотр полки(Открывается ниже)) | 2374 | Доступно | 109301 |
На обл. загл. сер.: Математическая логика и теория алгоритмов
Библиогр.: с. 269-272 (34 назв.)
Предм. указ.: 273-282
Указ. имен: с. 283-284