Електронний каталог

• Класифікатори
• М

Математична логіка 22.122

Документи:

• Марченков, С. С. Решения систем функциональных уравнений многозначной логики [Текст] / С. С. Марченков, В. С. Федорова // Вестник Московского университета Серия 15. Вычислительная математика и кибернетика. – 2009. – № 4. – С. 29-33.
• Мендельсон, Э. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. – М. : Наука, 1971. – 320 с. – 1,77.
• Мендельсон, Э. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. – Изд. 3-е. – М. : Наука, 1984. – 319 с. – 1,80.
• Никольская, И. Л. Математическая логика [Текст] : учебник для техникумов по спец. "Прикладная математика" / И. Л. Никольская. – М. : Высшая школа, 1981. – 128 с. – 0,25.
• Новиков, П. С. Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. – М. : Наука, 1977. – 328 с. – (Математическая логика и основания математики). – 1,43.
• Пынько, А. П. Алгебраизуемость секвенциальных исчислений для конечнозначных логик с определителем равенства [Текст] / А. П. Пынько // Доповіді Національної Академії Наук України: Математика. Природознавство. Технічні науки. – 2005. – № 3. – С. 66-71.
• Середа, В. Ю. Вчись мислити логічно [Текст] : для старшого шкільного віку / В. Ю. Середа. – К. : Рад. шк., 1989. – 175 с. – ISBN 5-330-00745-3 : 0,35.
• Следзінський, І. Ф. Математична логіка і теорія алгоритмів [Текст] : навч.-метод. посіб. для проведення практичних занять за вимогами кредитно-модульної системи / І. Ф. Следзінський. – Тернопіль : ТНПУ, 2005. – 60 с. – 5.00.
• Следзінський, І. Ф. Методичні вказівки і завдання до виконання практичних робіт з курсу "Математична логіка і теорія алгоритмів" [Текст] / І. Ф. Следзінський. – Тернопіль : ТДПУ, 2003. – 16 с. – 1.00.
• Столяр, А. А. Как математика ум в порядок приводит [Текст] / А. А. Столяр. – Минск : Вышэйшая школа, 1982. – 205 с. – 0.25.
• Столяр, А. А. Логическое введение в математику [Текст] / А. А. Столяр. – Минск : Вышэйшая школа, 1971. – 222 с. – 0.38.
• Столяр, А. А. Элементарное введение в математическую логику [Текст] : пособие для учителей / А. А. Столяр. – М. : Просвещение, 1965. – 163 с. – 0,22.
• Такеути, Г. Теория доказательств [Текст] = Proof Theory / Г. Такеути ; пер. с англ. С. К. Соболева ; под ред. С. И. Адяна. – М. : Мир, 1978. – 413 с. – 17.00.
• Успенский, В. А. Машина Поста [Текст] / В. А. Успенский. – М. : Наука, 1979. – 96 с. – (Популярные лекции по математике). – 0.15.
• Успенский, В. А. Теорема Гёделя о неполноте [Текст] / В. А. Успенский. – М. : Наука, 1982. – 111 с. – (Популярные лекции по математике). – 0,15.
• Фейс, Р. Модальная логика [Текст] / Р. Фейс ; пер. с доп. под ред. Г. Е. Минца. – М. : Наука, 1974. – 520 с. – (Математическая логика и основания математики). – 2,19.
• Харин, Н. Н. Математическая логика и теория множеств [Текст] : о соотношении абстрактного и конкретного / Н. Н. Харин ; под ред. Я. Л. Харапинского. – М. : Росвузиздат, 1963. – 192 с.
• Хромой, Я. В. Збірник вправ і задач з математичної логіки [Текст] : навч. посіб. для студ. фіз.-мат. фак. пед. ін-тів / Я. В. Хромой. – К. : Вища шк., 1978. – 160 с.
• Хромой, Я. В. Математична логіка [Текст] : навч. посіб. для студ. фізико-матем. ф-тів пед. ін-тів / Я. В. Хромой. – К. : Вища шк., 1983. – 208 с.
• Чень, Ч. Математическая логика и автоматическое доказательство теорем [Текст] / Ч. Чень, Р. Ли ; пер. с англ.: Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной ; под ред. С. Ю. Маслова. – М. : Наука, 1983. – 358 с. – (Математическая логика и основания математики). – 2,20.
• Чёрч, А. Введение в математическую логику [Текст]. Т. 1 / А. Чёрч ; пер. с англ. В. С. Чернявского ; под ред. В. А. Успенского. – М. : Изд-во иностр. лит., 1960. – 484 с. – 2,34.
• Швець, М. М. Азбука математичної логіки [Текст] / М. М. Швець. – К. : Рад. шк., 1965. – 154 с. – 0,24.
• Шенфилд, Дж. Математическая логика [Текст] / Дж. Шенфилд ; пер. с англ.: И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова. – М. : Наука, 1975. – 527 с. – (Математическая логика и основания математики). – 2,16.
• Эдельман, С. Л. Математическая логика [Текст] : учебное пособие для студ. пед. ин-тов. / С. Л. Эдельман. – М. : Высшая школа, 1975. – 176 с. – 0,30.

1    2