Математична логіка
Підтеми:
Документи:
- Введение в математическую логику [Текст] / пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. — 2-е изд., испр. — М. : Наука, 1976. — 320 с.
- Введение в математическую логику [Текст] / пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. — 3-е изд. — М. : Наука, 1984. — 319 с.
- Введение в математическую логику [Текст] / пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. — М. : Наука, 1971. — 320 с.
- Введение в математическую логику [Текст] : учеб. пособие для мат. специальностей вузов / Андрей Колмогоров, Альберт Драгалин. — М. : Изд-во Моск. ун-та, 1982. — 120 с.
- Введение в прикладную теорию моделей [Текст] : учеб. пособие / [ред. В. Н. Щанина]. — Караганда : Изд-во КГУ, 1989. — 93 с.
- Вводный курс математической логики [Текст] / Моск. гос. ун-т им. М. В. Ломоносова. — М. : Изд.-во МГУ, 1991. — 136 с.
- Вища математика й елементи логіки: означення, формули, приклади [Текст] : навчальний посібник / В.Н. Гладунський. — 2-ге вид., доп. — Л. : Афіша, 2008. — 490 с.
- Вопросы математической логики и теории алгоритмов [Текст] : [сб. ст.] / АН СССР, Вычисл. центр ; [отв. ред. Н. М. Нагорный]. — М. : ВЦ АН СССР, 1988. — 38, [2] с.
- Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов [Текст] : учеб. пособие / Николай Косовский. — Л. : Изд-во Ленингр. ун-та, 1981. — 192 с.
- Элементы математической логики [Текст] / Петр Новиков. — Изд. 2-е, испр. — М. : Наука, 1973. — 399 с.
- Исследования по теории доказательств [Текст] : сб. статей / пер. с англ. Ю. А. Гастева, Г. Е. Минца ; под ред. С. Ю. Маслова. — М. : Мир, 1981. — 289 с.
- Конструктивная математическая логика с точки зрения классической [Текст] / Петр Новиков. — М. : Наука, 1977. — 328 с.
- Логика. Автоматы. Алгоритмы [Текст] / А.А Айзерман, Л.А. Гусев, Л.И. Розоноэр, М.Т. Рожко. — М. : Физматгиз, 1963. — 556 с.
- Логическая игра [Текст] : пер. с англ. / Льюис Кэрролл. — М. : Наука, 1991. — 192 с.
- Логическая тетрадь [Текст] : нерешен. вопросы математ. логики (оператив. информац. материал) / АН СССР, Сибир. отд-ние ин-та математики ; ред. Ю. Л. Ершов, С. С. Гончаров. — Новосибирск : Ин-т математики СО АН СССР, 1986. — 41 с.
- Логический анализ понятия количества [Текст] : [монография] / отв. ред. К. К. Одинаев ; АН ТаджССР, Отд. философии. — Душанбе : Дониш, 1989. — 133, [2] с.
- Математическая логика. Дополнительные главы [Текст] : учеб. пособие для вузов по специальности "Математика" / Андрей Колмогоров, Альберт Драгалин. — М. : Изд-во Моск. ун-та, 1984. — 120 с.
- Математическая логика и дискретная математика [Текст] : учеб. пособие для ун-тов по специальности "Приклад. математика" / Виктор Карпов, Владимир Мощенский. — Минск : Вышэйш. шк., 1977. — 256 с.
- Математическая логика и ее применение [Текст] : материалы к семинару / Ин-т математики и кибернетики АН ЛитССР ; ред. Р. Плюшкявичюс. — Вильнюс : ИМК, 1985. — 134 с.
- Математическая логика и ее применение [Текст] : материалы к семинару / Ин-т математики и кибернетики АН ЛитССР ; ред. Р. Плюшкявичюс. — Вильнюс : ИМК, 1989. — 117 с.
- Математическая логика [Текст] / пер. с англ. И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова. — М. : Наука, 1975. — 527 с.
- Математическая логика [Текст] / пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. — М. : Мир, 1973. — 480 с.
- Математическая логика [Текст] : учеб. для техникумов по специальности "Приклад. математика" / Инна Никольская. — М. : Высш. шк., 1981. — 127 с.
- Математическая логика [Текст] : [учеб. пособие для вузов] / Юрий Ершов, Евгений Палютин. — М. : Наука, 1979. — 320 с.
- Математическая логика [Текст] : учеб. пособие для мат. спецальностей вузов / Юрий Ершов, Евгений Палютин. — 2-е изд., испр., доп. — М. : Наука, 1987. — 336 с.
- Математическая логика [Текст] : [учеб. пособие для мат. специальностей пед. ин-тов] / под общ. ред. А. А. Столяра. — Минск : Вышэйш. шк., 1991. — 269, [1] с.
- Математичеческие исследования [Текст]. Неклассические логики / Ин -т математики с вычисл. центром ; [редкол.: В. А. Андрунакиевич (отв. ред.) и др.]. — Кишинев : Штиинца, 1987. — 156 с.
- Математична логіка і теорія алгоритмів [Текст] : електрон. нав.-метод. комплекс / уклад. Н. І. Бойко. — 2014.
- Математична логіка та теорія алгоритмів [Текст] : навч. посіб. / М-во освіти і науки України, Сум. держ. ун-т. — Суми : Сум. держ. ун-т, 2014. — 255 с.
- Математична логіка [Текст] : навч. посіб. для студ. фіз.-мат. ф-тів пед. ін-тів / Яків Хромой. — К. : Вища шк., 1983. — 208 с.
- Математична логіка [Текст] : навч. посібн. для студ. фізико-математ. ф-ів пед. ін-тів / Я.В. Хромовой. — К. : Вища школа, 1983. — 208 с.
- Многозначная пороговая логика [Текст] : [монография] / АН УССР, Ин-т кибернетики. — Киев : Наук. думка, 1977. — 148 с.
- Модальная логика [Текст] / пер. с доп., под ред. Г. Е. Минца. — М. : Наука, 1974. — 520 с.
- Некоторые способы решения логических задач [Текст] / Владимир Шевченко. — Киев : Вища шк., 1979. — 79 с.
- Основи дискретної математики [Текст] : навч. посіб. / М-во освіти і науки, молоді та спорту України, Нац. ун-т "Львів. політехніка". — Львів : Вид-во Львів. політехніки, 2011. — 182, [2] с.
- Применение ЭВМ для решения задач математической логики [Текст] : [учеб. пособие по программе ЦИПС ТРТИ] / Таганрог. радиотехн. ин-т. — Таганрог : ТРТИ, 1988. — 74, [2] с.
- Решение логических и игровых задач: логико-психологические этюды [Текст] / Самуил Шапиро. — М. : Радио и связь, 1984. — 153 с.
- Справочная книга по математической логике. В 4-х частях [Текст] : справочная книга / под ред. Дж. Барвайса. Пер. с англ. С. Г. Давыдова, Г. Е. Минца. Под ред. Оревкова В. П. — М. : Наука, 1983. — 393 с.
- Справочная книга по математической логике. В 4-х частях [Текст] : справочная книга / под ред. Дж. Барвайса. Пер. с англ. С. Г. Дворникова, И. А. Лаврова. Под ред. Ю. Л. Ершова. — М. : Наука, 1982. — 360 с.
- Справочная книга по математической логике. В 4-х частях [Текст] : справочная книга / под ред. Дж. Барвайса. Пер. с англ. С. С. Гончарова и др. Под ред.Ю. Л. Ершова. — М. : Наука, 1982. — 392 с.
- Справочная книга по математической логике. В 4-х частях [Текст] : справочная книга / под ред. Дж. Барвайса. — М. : Наука, 1982. — 374 с.
- Справочная книга по математической логике [Текст] : в 4 ч. / пер. с англ. В. Г. Кановея ; под ред. В. Н. Гришина, Дж. Барвайса. — М. : Наука, 1982. — 375 с.
- Справочная книга по математической логике [Текст] : в 4 ч. / пер. с англ. С. Г. Дворникова [и др.] ; под ред. Ю. Л. Ершова, Дж. Барвайса. — М. : Наука, 1982. — 359 с.
- Справочная книга по математической логике [Текст] : в 4 ч. / под ред. Дж. Барвайса ; пер. с англ. Г. В. Давыдова, Г. Е. Минца под ред. В. П. Оревкова. — М. : Наука, 1983. — 392 с.
- Справочная книга по математической логике [Текст] : в 4 ч. / под ред. Дж. Барвайса ; пер. с англ. С. С. Гончарова [и др.] ; под ред. [и с предисл.] Ю. Л. Ершова [и др.]. — М. : Наука, 1982. — 392 с.
- Теоретичні засади логіки [Текст] : монографія / М-во освіти і науки України, Львів. нац. ун-т ім. І. Франка. — Львів : Вид. центр ЛНУ : Палітра друку, 2002. — 233 с.
- Язык логики [Текст] / пер. с англ. Ю. А. Петрова ; под ред. Ю. А. Гастева. — М. : Наука, 1969. — 135 с.
|
