К 30 Кац, Марк. Математика и логика [Текст] : ретроспектива и перспективы / М. Кац, С. Улам ; под редакцией И. М. Яглома; перевод с английского Н. И. Плужниковой. - Москва : Мир, 1971. - 251 с. : ил ; 21 см. - (Современная математика. Популярная серия). - Пер. изд. : Mathematics and logic / Kac, Ulam. - New York, 1968. - 0.80 р. Пер. изд.: Mathematics and logic: retrospekt and prospects / Mark Kac, Stanislaw M. Ulam. New York [etc.] : Frederick A. Praeger Publishers, 1968 Рубрики: Физико-математические науки--Математика--Основания математики и математическая логика Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА Доп.точки доступа: Улам, С.; Плужникова, Н. И. \пер.\; Яглома, И. М. \ред.\ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Ш 23 Шапиро, Самуил Иосифович. Решение логических и игровых задач [Текст] / Самуил Иосифович Шапиро. - Москва : Радио и связь, 1984. - 153 с. ; 20 см. - (Кибернетика). - Библиография: с. 151. - Предметный указатель: с. 152. - 15000 экз.. - 00.55 р. Рубрики: ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--математика--ОСНОВАНИЯ МАТЕМАТИКИ И МАТЕМАТИЧЕСКАЯ ЛОГИКА Радиоэлектроника--Кибернетика--КИБЕРНЕТИЧЕСКИЕ МОДЕЛИ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
М 21 Мальцев, Анатолий Иванович (1909-1967). Алгоритмы и рекурсивные функции [Текст] / Анатолий Иванович Мальцев. - 2-е издание. - Москва : Наука, 1986. - 367 с. : ил. ; 22 см. - Предм. указ.: с. 365-367. - Библиогр.: с. 348-355. - Прил.: с. 355-365. - 10400 экз.. - (в пер.) : 1.70 р. Рубрики: Физико-математические науки--Математика--Основания математики и математическая логика ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |