510.6 Б 90 Булос, Дж. Вычислимость и логика [Text] / Булос, Дж., Джеффри, Р. ; ред. Артемов С.Н. - М. : Мир, 1994. - 396 с. : ил. - Указ. имен. и предм.:с.388-394. - ISBN 5-03-003067-0 : 6500-00 р.
Кл.слова (ненормированные): Математическая логика Доп.точки доступа: Джеффри, Р.; Артемов С.Н. \ред.\ Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |