Математическая логика и теория алгоритмов. Логика предикатов : учебное пособие; [для студентов специальности "Информационные системы и технологии"] / К.М. Чудинов ; М-во образования и науки Рос. Федерации, Гос. образоват. учреждение высш. проф. образования "Перм. гос. техн. ун-т"
Другие варианты заглавия: : Логика предикатовЯзык: русский.Выходные данные: Пермь : Изд-во Пермского государственного технического университета, 2010Физическая характеристика: 72 с. ; 21 см.ISBN: 978-5-398-00484-7 Библиография: Библиогр.: с. 72 (6 назв.).Предметная рубрика - Тема: Исчисление предикатов -- Учебные издания для высших учебных заведений Другие классификации: ( ) 22.122 ; ( ) 22.127 ; В123я73-1Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2011-4/1451 (Просмотр полки(Открывается ниже)) | 308 | Доступно | 3359693 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2011-4/1451 (Просмотр полки(Открывается ниже)) | 308 | Доступно | 3359694 |
Библиогр.: с. 72 (6 назв.)