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

• Класифікатори
• 22.12 Основи математики. Математична логіка

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

Документи:

• Алгебра и математическая логика [Текст] : алгебраические исследования : межвед. сборник / редкол.: Л. А. Калужнин (отв. ред.), С. Д. Берман, С. Т. Завало [и др.]. – К. : Изд-во Киев. ун-та, 1966. – 140 с. – 0,52.
• Математическая логика и теория алгоритмов [Текст] / отв. ред. С. Л. Соболев. – Новосибирск : Наука, 1982. – 176 с. – 1,60.
• Математическая логика в программировании [Текст] : Сборник статей. Вып. 1 / Под ред. С.В. Яблонского. – М. : Мир, 1991. – 408 с. – (Математическое обеспечение ЭВМ). – ISBN 5-03-001635-Х : 4,70.
• Очерки о математике [Текст] : сб. ст. – М. : Знание, 1973. – 64 с. – (Новое в жизни, науке, технике. Серия "Математика, кибернетика"). – 0,10.
• Проблемы математической логики [Текст] : сложность алгоритмов и классы вычислимых функций : сб. переводов / под ред.: В. А. Козмидиади, А. А. Мучника. – М. : Мир, 1970. – 432 с. – (Библиотека "Кибернетического сборника"). – 1,94.
• Теоретические применения методов математической логики. ІІІ [Текст] : сборник работ / под ред.: Д. Ю. Григорьева, В. П. Оревкова. – Л. : Наука, 1981. – 200 с. – (Записки научных семинаров ЛОМИ). – 1,90.
• Tarski, A. O logice matematycznej i metodzie dedukcyjnej [Текст] / A. Tarski. – Lwow ; Warszawa : Ksiaznica Atlas, [поч. XX ст.]. – 166 s. – (Bibljoteczka matematyczna). – 10.00.
• Айзенберг, Н. Н. Многозначная пороговая логика [Текст] / Н. Н. Айзенберг, Ю. Л. Иваськив ; отв. ред. Е. И. Брюхович. – К. : Наук. думка, 1977. – 147 с. – 1,10.
• Александров, В. В. Автоматизированная обработка информации на языке предикатов [Текст] / В. В. Александров, Г. А. Булкин, А. О. Поляков ; отв. ред. В. М. Пономарев. – М. : Наука, 1982. – 103 с. – 0,70.
• Байиф, Жан–Клод Логические задачи [Текст] / Жан–Клод Байиф ; пер. с фр. Ю. Н. Сударева ; под ред. И. М. Яглома. – М. : Мир, 1983. – 173 с. – 0,45.
• Бизам, Д. Многоцветная логика [Текст] = Sokszinu Logika : 175 логических задач / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова. – М. : Мир, 1978. – 435 с. – 1.50.
• Вольвачев, Р. Т. Элементы математической логики и теории множеств [Текст] : Учеб. пособие для мат. спец. вузов / Р. Т. Вольвачев. – Минск : Университетское, 1986. – 112 с. – 0,30.
• Гайштут, А. Г. Математика в логических упражнениях [Текст] / А. Г. Гайштут. – К. : Рад. школа, 1985. – 192 с. – 0,40.
• Голдблатт, Р. Топосы. Категорный анализ логики [Текст] = Topoi/ The Cftegorial Analysis of Logic / Р. Голдблатт ; пер. с англ.: В. Н. Гришина, В. В. Шокурова ; под ред. Д. А. Бочвара. – М. : Мир, 1983. – 486 с. – 3,30.
• Градштейн, И. С. Прямая и обратная теоремы [Текст] : элементы алгебры логики / И. С. Градштейн. – 4-е изд., стер. – М. : Наука, 1965. – 128 с. – 0,22.
• Грэй, П. Логика, алгебра и базы данных [Текст] : пер. с англ. / П. Грэй. – М. : Машиностроение, 1989. – 368 с. – ISBN 5-217-00178-Х : 1,80.
• Ершов, Ю. Л. Проблемы разрешимости и конструктивные модели [Текст] / Ю. Л. Ершов. – М. : Наука, 1980. – 415 с. – (Математическая логика и основания математики). – 3,10.
• Игошин, В. И. Математическая логика и теория алгоритмов [Текст] : Учеб. пособие для студ. физ.-матем. спец. пед. ин-тов / В. И. Игошин. – Саратов : Изд-во Саратовского ун-та, 1991. – 256 с. – ISBN 5-292-00259-3.
• Калужнин, Л. А. Что такое математическая логика? [Текст] / Л. А. Калужнин. – М. : Наука, 1964. – 151 с. – 0,21.
• Карпов, В. Г. Математическая логика и дискретная математика [Текст] : учебное пособие для студ. ун-тов по спец. "Прикладная математика" / В. Г. Карпов, В. А. Мощенский. – Минск : Вышэйшая шк., 1977. – 256 с. – 0,65.
• Карри, Х. Б. Основания математической логики [Текст] = Foundations of Mathematical Logic / Х. Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. – М. : Мир, 1969. – 568 с.
• Кац, М. Математика и логика [Текст] = Marhematics and Logic : Ретроспективы и перспективы / М. Кац, С. Улам ; пер. с англ. Н. И. Плужниковой ; под ред. И. М. Яглома. – М. : Мир, 1971. – 251 с. – 0,80.
• Клини, С. К. Математическая логика [Текст] = Mathematical Logic / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. – М. : Мир, 1973. – 480 с. – 2.50.
• Колмогоров, А. Н. Математическая логика [Текст] : учебное пособие для студ. мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин. – М. : Изд-во Москов. ун-та, 1982. – 119 с. – 0,25.
• Колмогоров, А. Н. Математическая логика. Дополнительные главы [Текст] : учебное пособие для студ. вузов, обучающихся по спец. "Математика" / А. Н. Колмогоров, А. Г. Драгалин. – М. : Изд-во Москов. ун-та, 1984. – 119 с. – 0,25.
• Кутасов, А. Д. Элементы математической логики [Текст] : пособие для учащихся 9–10 кл. / А. Д. Кутасов. – М. : Просвещение, 1977. – 63 с. – 0.10.
• Лакатос, И. Доказательства и опровержения [Текст] : как доказываются теоремы / И. Лакатос ; пер. с англ. И. Н. Веселовского. – М. : Наука, 1967. – 152 с. – 0,50.
• Мальцев, А. И. Избранные труды [Текст]. Т. 2 : Математическая логика и общая теория алгебраических систем / А. И. Мальцев. – М. : Наука, 1976. – 388 с. – 2,42.
• Мальцев, А. И. Алгоритмы и рекурсивные функции [Текст] / А. И. Мальцев. – 2-е изд. – М. : Наука, 1986. – 368 с. – 1,70.
• Марков, А. А. Элементы математической логики [Текст] / А. А. Марков ; под ред. А. Г. Драгалина. – М. : Изд-во Москов. ун-та, 1984. – 79 с. – 0,40.
• Мендельсон, Э. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. – Изд. 3-е. – М. : Наука, 1984. – 319 с. – 1,80.
• Мендельсон, Э. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. – М. : Наука, 1971. – 320 с. – 1,77.
• Никольская, И. Л. Математическая логика [Текст] : учебник для техникумов по спец. "Прикладная математика" / И. Л. Никольская. – М. : Высшая школа, 1981. – 128 с. – 0,25.
• Новиков, П. С. Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. – М. : Наука, 1977. – 328 с. – (Математическая логика и основания математики). – 1,43.
• Радемахер, Г. Числа и фигуры опыты математического мышления. [Текст] : Опыты математического мышления / Г. Радемахер, О. Теплиц ; пер. с нем. В. И. Контовта ; под ред., с доп. и примеч. И. М. Яглома. – Изд. 3-е. – М. : Гос. изд-во физ.-мат. лит., 1962. – 263 с. – (Библиотека математического кружка). – 0,54.
• Следзінський, І. Ф. Математична логіка і теорія алгоритмів [Текст] : навч.-метод. посіб. для проведення практичних занять за вимогами кредитно-модульної системи / І. Ф. Следзінський. – Тернопіль : ТНПУ, 2005. – 60 с. – 5.00.
• Следзінський, І. Ф. Методичні вказівки і завдання до виконання практичних робіт з курсу "Математична логіка і теорія алгоритмів" [Текст] / І. Ф. Следзінський. – Тернопіль : ТДПУ, 2003. – 16 с. – 1.00.
• Следзінський, І. Ф. Практичні завдання з математичної логіки [Текст] / І. Ф. Следзінський. – Тернопіль : ТДПУ, 2003. – 24 с. – 0.50.
• Столл, Роберт Множества. Логика. Аксиоматические теории [Текст] / Роберт Столл ; под ред. Ю. А. Шихановича ; пер. с англ.: Ю. А. Гастаева, И. Х. Шмаина. – М. : Просвещение, 1968. – 231 с. – (Математическое просвещение). – 0,79.
• Столяр, А. А. Логическое введение в математику [Текст] / А. А. Столяр. – Минск : Вышэйшая школа, 1971. – 222 с. – 0.38.
• Столяр, А. А. Элементарное введение в математическую логику [Текст] : пособие для учителей / А. А. Столяр. – М. : Просвещение, 1965. – 163 с. – 0,22.
• Успенский, В. А. Теорема Гёделя о неполноте [Текст] / В. А. Успенский. – М. : Наука, 1982. – 111 с. – (Популярные лекции по математике). – 0,15.
• Успенский, В. А. Что такое нестандартный анализ? [Текст] / В. А. Успенский. – М. : Наука, 1987. – 128 с. – 0,20.
• Фейс, Р. Модальная логика [Текст] / Р. Фейс ; пер. с доп. под ред. Г. Е. Минца. – М. : Наука, 1974. – 520 с. – (Математическая логика и основания математики). – 2,19.
• Харин, Н. Н. Математическая логика и теория множеств [Текст] : о соотношении абстрактного и конкретного / Н. Н. Харин ; под ред. Я. Л. Харапинского. – М. : Росвузиздат, 1963. – 192 с.
• Хромой, Я. В. Збірник вправ і задач з математичної логіки [Текст] : навч. посіб. для студ. фіз.-мат. фак. пед. ін-тів / Я. В. Хромой. – К. : Вища шк., 1978. – 160 с.
• Чень, Ч. Математическая логика и автоматическое доказательство теорем [Текст] / Ч. Чень, Р. Ли ; пер. с англ.: Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной ; под ред. С. Ю. Маслова. – М. : Наука, 1983. – 358 с. – (Математическая логика и основания математики). – 2,20.
• Чёрч, А. Введение в математическую логику [Текст]. Т. 1 / А. Чёрч ; пер. с англ. В. С. Чернявского ; под ред. В. А. Успенского. – М. : Изд-во иностр. лит., 1960. – 484 с. – 2,34.
• Швець, М. М. Азбука математичної логіки [Текст] / М. М. Швець. – К. : Рад. шк., 1965. – 154 с. – 0,24.
• Шрейдер, Ю. А. Логика знакомых систем [Текст] : элементы семиотики / Ю. А. Шрейдер. – М. : Знание, 1974. – 64 с. – (Новое в жизни, науке, технике. Серия "Математика, кибернетика"). – 0,10.