УДК 51

   Трохимчук Р.М. Збірник задач і вправ з математичної логіки: навчальний посібник: ЭБ.-К: ДП "Видавничий дім "Персонал",2008.-116 c.
Цена: б.ц.

Математична логіка
51:1(07)

УДК 519

   Макоха, А.Н. Дискретная математика: учебное издание: ЭБ / А.Н. Макоха, П.А. Сахнюк, Н.И. Червяков.-М: Физматлит,2005.-368 c.
Цена: Б.ц.

Математична логіка
519.1(07)

УДК 519

   Васильев, Ф.П. Методы оптимизации / Ф.П. Васильев.-М: Факториал-Пресс,2002.-824 c.
Цена: б.ц.

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

УДК 510

   Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов.-2-е изд.-М: Наука,1984.-224 c.
Цена: 90 к.

Математична логіка
510(07)+510.6(07)+510.5(07)

УДК 510

   Марков А. А. Элементы математической логики.-М: МГУ,1984.-78 c.
Цена: 40 к.

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

УДК 510

   Мендельсон Э. Введение в математическую логику / Под ред. С.И.Адяна.-3-е изд..-М: Наука,1984.-320 c.
Цена: 1 р. 80 к.

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

УДК 517

   Чень Ч. Математическая логика и автоматическое доказательство теорем / Чень Ч., Ли Р.-М: Наука,1983.-358 c.
Цена: 2 р. 20 к.

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

УДК 517

   Успенский В.А. Теорема Геделя о неполноте.-М.: Наука,1982.-111 c.-( Попул.лекции по мат.; Вып.57 )
Цена: 15 к.

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

УДК 517

   Смальян Р. Математическая логика и основания математики: Теория формальных систем: ЭБ / Смальян Р..-М: Наука,1981.-207 c.
Цена: б.ц.

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

УДК 519

    Статистические модели и многокритериальные задачи принятия решений: Сборник статей / Науч. ред. И.Ф. Шахнов.-М: Статистика,1979.-184 c.
Цена: 1 р.

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

УДК 517 Г47

   Бернайс П., Гильберт Д. Основания математики: лог.исчисления и формализация арифметики..-М.: Наука,1979.-557 c.
Математична логіка
517 Г47

УДК 51

    Математика 19 века. Математическая логика. Алгебра. Теория чисел. Теория вероятностей / Ред. А. Н. Колмогоров, А. П. Юшкевич.-М: Наука,1978.-255 c.
Математична логіка
51(09)

УДК 517 Б59

   Бизам Д., Герцег Я. Многоцветная логика: 175 логич.задач..-М.: Мир,1978.-435 c.
Математична логіка
517.1

Инв.N :
75348

УДК 517

   Новиков П.С. Конструктивная математическая логика с точки зрения классической.-М: Наука,1977.-328 c.
Цена: 1 р. 43 к.

Математична логіка
510.6+16

УДК 518

   Лавров И.А., Максимова Л.Л. Задачи по теории множеств математической логике и теории алгоритмов..-М.: Наука,1975.-240 c.
Математична логіка
518

УДК 517

    Философия в современном мире. Философия и логика / Отв. ред. П.В. Таванец.-М: Наука,1974.-480 c.
Математична логіка
510.6+1М

УДК 517

   Петров Ю.А. Математическая логика и материалистическая диалектика (Проблемы логико-философ. оснований и обоснования теории).-М: Изд-во Моск. ун-та,1974.-191 c.
Цена: 92 к.

Математична логіка
510.6(07)+101.8(07)

УДК 517

   Новиков П.С. Элементы математической логики.-2-е изд., испр.-М: Наука,1973.-399 c.
Цена: 1 р. 43 к.

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

УДК 518

   Бенерджи Р. Теория решения задач. Подход к созданию искусств. интеллекта / пер. с англ. С.П. Чеботарева.-М.: Мир,1972.-224 c.
Цена: 87 к.

Математична логіка
519.6+519.7+681.5.01

УДК 517

   Мендельсон Э. Введение в математическую логику / Под ред. С.И.Адяна.-М: Наука,1971.-320 c.
Цена: 1 р. 77 к.

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

УДК 517

    Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: Сборник переводов / Под ред. В.А. Козмидиади, А.А. Мучника.-М: Мир,1970.-432 c.
Математична логіка
510.6+681.3.068

УДК 517

   Калужнин Л.А. Что такое математическая логика.-М: Наука,1964.-151 c.
Цена: 21 к.

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

УДК 517

   Чёрч А. Введение в математическую логику. Т.1 / Чёрч А.; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского.-М.: Изд-во иностр. лит,1960.-484 c.
Математична логіка
510.6+16

УДК 517

   Новиков П.С. Элементы математической логики.-М: Физматгиз,1959.-400 c.
Математична логіка
510.6