Главная Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


КНИГИ - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>K=исчисление предикатов<.>)
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : 51/Е80
Автор(ы) : Ершов Ю. Л., Палютин Е. А.
Заглавие : Математическая логика : учебное пособие . -Изд. 4-е, стер.
Выходные данные : СПб.: Лань, 2005
Колич.характеристики :336 с
ISBN, Цена 5811405332: 1480.00 р.
УДК : 510.6(075.8)
Предметные рубрики: Математика-- Математическая логика
Экземпляры : всего : ЧЗ(2), АБ(18)
Свободны : ЧЗ(2), АБ(18)
Найти похожие
 
© Павлодарский государственный университет им. С.Торайгырова, 2009-2015