Поисковый запрос: (<.>KL=исчисления высказываний<.>) |
Общее количество найденных документов : 16
Показаны документы с 1 по 16 |
1.
| Гамова А. Н. Математическая логика и теория алгоритмов/А. Н. Гамова. - 2000
|
2.
| Гильберт, Давид Основания математики. [Т. 1]:Логические исчисления и формализация арифметики. - 1979
|
3.
| Верещагин, Николай Константинович Лекции по математической логике и теории алгоритмов. Ч. 2:Языки и исчисления. - 2000
|
4.
| Игошин В. И. Математическая логика и теория алгоритмов/Владимир Иванович Игошин. - 1991
|
5.
| Судоплатов С. В. Математическая логика и теория алгоритмов/С. В. Судоплатов, Е. В. Овчинникова. - 2004
|
6.
| Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов/В. И. Игошин. - 2005
|
7.
| Ершов Ю. Л. Математическая логика/Ю. Л. Ершов, Е. А. Палютин. - 2004
|
8.
| Ершов Ю. Л. Математическая логика/Ю. Л. Ершов, Е. А. Палютин. - 2005
|
9.
| Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов/В. И. Игошин. - 2007
|
10.
| Судоплатов С. В. Математическая логика и теория алгоритмов/С. В. Судоплатов, Е. В. Овчинникова. - 2008
|
11.
| Лихтарников Л. М. Математическая логика/Л. М. Лихтарников, Т. Г. Сукачева. - 2008
|
12.
| Шапорев С. Д. Математическая логика/С. Д. Шапорев. - 2007
|
13.
| Молчанов В. А. Логика высказываний/В. А. Молчанов. - 2014
|
14.
| Кислов А. Г. Логика высказываний: язык, алгебра, исчисления/А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов. - 2012
|
15.
| Игошин В. И. Сборник задач по математической логике и теории алгоритмов/В. И. Игошин. - 2017
|
16.
| Певзнер Л. Д. Практикум по математическим основам теории систем/Л. Д. Певзнер. - 2013
|
|
|
Электронный каталог
Стандартный (по одному полю)