|
Литература
|
Воронов М.В.: Математика для студентов гуманитарных факультетов. - Р-на-Д: Феникс, 2002
|
|
Литература
|
Лавров И.А.: Задачи по теории множеств, математической логике и теории алгоритмов. - М.: ФИЗМАТЛИТ, 2002
|
|
Литература
|
Лавров И.А.: Задачи по теории множеств, математической логике и теории алгоритмов. - М.: Физматлит, 2002
|
|
Литература
|
Разраб. В.В. Черняковой: Логика. - М.: Современный Гуманитарный Университет, 2002
|
|
Литература
|
Турецкий В.Я.: Математика и информатика. - М.: ИНФРА-М, 2002
|
|
Литература
|
Перминов В.Я.: Философия и основания математики. - М.: Прогресс-Традиция, 2001
|
|
Литература
|
Яблонский С.В.: Введение в дискретную математику. - М.: Высшая школа, 2001
|
|
Литература
|
Верещагин Н.К.: Языки и исчисления. - М.: МЦНМО, 2000
|
|
Литература
|
Горбатов В.А.: Фундаментальные основы дискретной математики. - М.: Наука: Физматлит, 2000
|
|
Литература
|
Карпенко А.С.: Логики Лукасевича и простые числа. - М.: Наука, 2000
|
|
Литература
|
Лихтарников Л.М.: Математическая логика. - СПб.: Лань, 1999
|
|
Литература
|
Гладкий А.В.: Математическая логика. - М.: РГГУ, 1998
|
|
Литература
|
Никольская И.Л.: Знакомство с математической логикой. - М.: Московский психолого-социальный институт: Флинта, 1998
|
|
Литература
|
Никольская И.Л.: Знакомство с математической логикой. - М.: Флинта, 1998
|
|
Литература
|
Жоль К.К.: Логика в лицах и символах. - М.: Педагогика-Пресс, 1993
|
|
Литература
|
Мадер В.В.: Школьнику об алгебре логики. - М.: Просвещение, 1993
|
|
Литература
|
Мадер В.В.: Математический детектив. - М.: Просвещение, 1992
|
|
Литература
|
Игошин В.И.: Математическая логика и теория алгоритмов. - Саратов: СГУ, 1991
|
|
Литература
|
Латотин Л.А. и др.; Под общ. ред. А.А. Столяра: Математическая логика. - Минск: Вышэйшая школа, 1991
|
|
Литература
|
Мордкович А.Г.: Математический анализ. - М.: Высшая школа, 1990
|
|
Литература
|
Никольская И.Л.: Учимся рассуждать и рассказывать. - М.: Просвещение, 1989
|
|
Литература
|
Цыпкин А.Г.: Справочник по методам решения задач по математике. - М.: Наука, 1989
|
|
Литература
|
Заварыкин В.М.: Техника вычислений и алгоритмизация. - М.: Просвещение, 1987
|
|
Литература
|
Успенский В.А.: Что такое нестандартный анализ?. - М.: НАУКА, 1987
|
|
Литература
|
Колмогоров А.Н.: Избранные труды. - М.: Наука, 1985
|
|
Литература
|
Колмогоров А.Н.: Математическая логика. - М.: МГУ, 1984
|
|
Литература
|
Лавров И.А.: Задачи по теории множеств, математической логике и теории алгоритмов. - М.: Наука, 1984
|
|
Литература
|
Мендельсон Э.: Введение в математическую логику. - М.: Наука, 1984
|
|
Литература
|
пер. с англ. Г.В. Давыдова и Г.Е. Минца под ред. В.П. Оревкова: Справочная книга по математической логике. - М.: Наука, 1983
|
|
Литература
|
Варпаховский Ф.Л.: Задачник-практикум по алгебре. - М.: Просвещение, 1982
|