Г 52 Гладкий, А. В. Математическая логика [Text] : [учеб. пособие для математических и физико-математических ф-тов, отд-ний информатики, теоретической и прикладной лингвистики, искусственного интеллекта] / А. В. Гладкий. - М. : Издательство РГГУ, 1998. - 479 с. - ISBN 5-7281-0025-2 : 61.54 р. Рубрики: Математическая логика--Учебные издания для высших учебных заведений Кл.слова (ненормированные): информатика -- лингвистика теоретическая -- лингвистика прикладная -- искусственный интеллект -- интеллект искусственный Экземпляры всего: 3 ЧЗ (1), Ю (1), АБ (1) Свободны: ЧЗ (1), Ю (1), АБ (1) |
Г 91 Грэй, Питер. Логика, алгебра и базы данных [Текст] / П. Грэй; пер. с англ. Х. И. Килова, Г. Е. Минца; под ред. Г. В. Орловского, А. О. Слисенко. - М. : Машиностроение, 1989. - 359 с. - ISBN 5-217-00178-Х : 1.80 р. Рубрики: Математическая логика Кл.слова (ненормированные): логика математическая -- логика Доп.точки доступа: Килов, Х. И. \пер. с англ.\; Минц, Г. Е. \пер. с англ.\; Орловский, Г. В. \ред.\; Слисенко, А. О. \ред.\ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |