Результаты поиска: 145


  | 
Логика, алгебра и базы данных Москва : Машиностроение, 1989
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (5 экз.) : кх наб акф  шифр: 510 Г918


Конструктивная математическая логика с точки зрения классической Москва : Наука, 1977
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (1 экз.) : наб  шифр: 517 Н731


Основания математики. Теория доказательств Москва : Наука, 1982
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (1 экз.) : наб  шифр: 517 Г474


Основания математики. Логические исчисления и формализация арифметики Москва : Наука, 1979
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (1 экз.) : наб  шифр: 517 Г474


Элементы математической логики Москва : Наука, 1973
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (3 экз.) : этф наб  шифр: 517 Н731


Математическая логика Москва : Университет, 2007
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (12 экз.) : наб адф  шифр: 510 Т415


Русская вероятностная логика Москва : Рус. правда, 2009
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (1 экз.) : наб  шифр: 510 Л68


Введение в математическую логику Москва : Наука, 1984
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (8 экз.) : этф наб учаб  шифр: 517 М501


Ламбда-исчисление. Его синтаксис и семантика Москва : Мир, 1985
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (1 экз.) : наб  шифр: 510 Б248


Математическая логика. Курс лекций. Задачник-практикум и решения Санкт-Петербург [и др.] : Лань, 2009
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (36 экз.) : наб адф этф  шифр: 51 Л656


Математическая логика и автоматическое доказательство теорем М. : Наука Физматлит, 1983
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (2 экз.) : наб  шифр: 510 Ч-438


Справочная книга по математической логике Ч. 1 Теория моделей Москва : Наука, 1982
книга доступно для выдачи найти связанные документы

Перейти к заказу выдачи
имеется в отделах (1 экз.) : наб  шифр: 510 С741


Модальная логика М. : Наука Физматлит, 1974
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (2 экз.) : наб  шифр: 517 Ф366


Математическая логика М. : Академия, 2006
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (7 экз.) : кх наб этф  шифр: 510 Л136


Математическая логика М. : КомКнига URSS, 2007
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (1 экз.) : кх  шифр: 510 К493


Математические принципы нечеткой логики М. : Физматлит, 2006
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (2 экз.) : кх наб  шифр: 510 Н723


Бесконечнозначная логика в задачах кибернетики Москва : Радио и связь, 1982
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (1 экз.) : наб  шифр: 681.51 Л363


Математическая логика Санкт-Петербург : Лань, 2005
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (5 экз.) : наб этф  шифр: 517 Е804


Математическая логика. Курс лекций и практических занятий СПб : БХВ-Петербург, 2005
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (30 экз.) : адф кх наб этф  шифр: 510 Ш241


Многоцветная логика. 175 логических задач Москва : Мир, 1978
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (4 экз.) : наб учаб  шифр: 517 Б598


Введение в математическую логику Москва : Станкин, 1998
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (7 экз.) : адф кх наб учаб  шифр: 510 К619


Логики конечнозначных предикатов на основе неравенств Санкт-Петербург : Изд-во СПбГУ, 2000
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (1 экз.) : наб  шифр: 510 К715


Определимость и вычислимость М. : Экономика, 2000
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (1 экз.) : кх  шифр: 510 Е804


Математическая логика Санкт-Петербург [и др.] : Лань, 2004
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (5 экз.) : адф наб этф  шифр: 517 Е804


Математическая логика Москва : Изд-во УРСС, 2004
книга доступно для выдачи

Перейти к заказу выдачи
имеется в отделах (5 экз.) : адф наб учаб этф  шифр: 510 К608