Выберите из списка что вы ищете:

Поиск ведется по: Ключевым словам Заглавию Автору

Отсортировать найденные документы по: авторузаглавиюгоду изданиятипу документа

Общее количество найденных документов : 2

1.    51
   Л656
    Лихтарников, Леонид Моисеевич.
    Математическая логика : Курс лекций. Задачник-практикум. Решения: учеб. пособие для вузов / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 3-е, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 339.22 р.
ГРНТИ 27.03.19
УДК:510.6(075.8)

Рубрики: Математическая логика--Учебные пособия ---

Ключевые слова: математическая логика -- алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы -- учебные пособия
Доп.точки доступа: Сукачева, Тамара Геннадьевна ---
Экземпляры всего: 5
Mесто хранения: чз (2), зал ППС (1), аб (2)
Свободны: чз (2), зал ППС (1), аб (2)

Найти похожие

2.    51
   Л656
    Лихтарников, Леонид Моисеевич.
    Математическая логика. Курс лекций. Задачник-практикум и решения : Учеб. пособие [для вузов] / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 4-е, стер. - СПб. : Лань, 2009. - 276 с. : ил. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 353.10 р.
ГРНТИ 27.03.19
УДК:510.6(075.8)

Рубрики: Математическая логика--Практикумы--Учебные пособия ---

Ключевые слова: математическая логика -- алгебра логики -- исчисление высказываний -- логика предметов -- математические теории -- алгоритмы -- практикумы -- курсы лекций -- учебные пособия
Доп.точки доступа: Сукачева, Тамара Геннадьевна ---
Экземпляры всего: 2
Mесто хранения: аб (2)
Свободны: аб (1)

Найти похожие