Ben-Ari, Mordechai (1948-). - Mathematical logic for computer science / Mordechai Ben - Ari. - 2. ed., 2. print. with corr. - London [etc.] : Springer, 2003. - XIV, 304 с. : ил., табл.; 24 см.; ISBN 1-85233-319-7

Ben-Ari, Mordechai (1948-).
Mathematical logic for computer science / Mordechai Ben - Ari. - 2. ed., 2. print. with corr. - London [etc.] : Springer, 2003. - XIV, 304 с. : ил., табл.; 24 см.; ISBN 1-85233-319-7

Вычислительная техника -- Вычислительные машины электронные -- Теория. Исследование -- Математические методы -- Учебник для высшей школы
математическая логика
Шифр хранения:
FB 5 03-12/160-6

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеMathematical logic for computer science
Коллекции ЭК РГБ Каталог документов с 1831 по настоящее время
Дата поступления в ЭК РГБ 31.10.2003
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиMordechai Ben - Ari
Издание2. ed., 2. print. with corr.
Выходные данныеLondon [etc.] : Springer, 2003
Физическое описаниеXIV, 304 с. : ил., табл.; 24 см
ISBNISBN 1-85233-319-7
ТемаВычислительная техника -- Вычислительные машины электронные -- Теория. Исследование -- Математические методы -- Учебник для высшей школы
Термины-указателиматематическая логика
BBK-кодЗ973-01с11я73-1
ЯзыкАнглийский
Места храненияFB 5 03-12/160-6