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


  | 
выбрать издание

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


Перейти к заказу выдачи

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

выбрать издание


Перейти к заказу выдачи

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

выбрать издание

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


Перейти к заказу выдачи

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

выбрать издание

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


Перейти к заказу выдачи

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

выбрать издание

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


Перейти к заказу выдачи

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

выбрать издание

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


Перейти к заказу выдачи

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

выбрать издание

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


Перейти к заказу выдачи

имеется в отделах (1 экз.) : наб  шифр: 517 Э192

выбрать издание

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


Перейти к заказу выдачи

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

выбрать издание

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


Перейти к заказу выдачи

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

выбрать издание


Перейти к заказу выдачи

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

выбрать издание

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


Перейти к заказу выдачи

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

выбрать издание

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


Перейти к заказу выдачи

имеется в отделах (1 экз.) : наб  шифр: 517 Н64

выбрать издание

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


Перейти к заказу выдачи

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

выбрать издание

Алгебраические и логические конструкции Тверь : Изд-во ТвГУ, 1994
книга доступно для выдачи


Перейти к заказу выдачи

имеется в отделах (2 экз.) : кх наб  шифр: 512 А456

выбрать издание

Непрерывная логика. Теория и применения Таллинн : Б.и., 1990
книга доступно для выдачи


Перейти к заказу выдачи

имеется в отделах (1 экз.) : кх  шифр: 510 В67

выбрать издание

Вычислимость и логика Москва : Мир, 1994
книга доступно для выдачи


Перейти к заказу выдачи

имеется в отделах (4 экз.) : адф кх наб чз  шифр: 510 Б907

выбрать издание

Выразимость в исчислениях высказываний Кишинев : Штиинца, 1991
книга доступно для выдачи


Перейти к заказу выдачи

имеется в отделах (2 экз.) : кх наб  шифр: 510 Р276

выбрать издание

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


Перейти к заказу выдачи

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

выбрать издание

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


Перейти к заказу выдачи

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

выбрать издание

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


Перейти к заказу выдачи

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

выбрать издание


Перейти к заказу выдачи

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

выбрать издание

Математическая логика Минск : Вышэйш. шк., 1991
книга доступно для выдачи


Перейти к заказу выдачи

имеется в отделах (5 экз.) : кх наб  шифр: 510 М34

выбрать издание

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


Перейти к заказу выдачи

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