Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- булевы функции 4
- высказывания 4
- компьютеры 4
- логические операции 4
- логическое следование 4
- предикаты 4
- формальные аксиоматические теории
- формулы 4
- Математическая логика 3
- математика 3
- неформальные аксиоматические теории 3
- тавтологии 3
- учебные пособия 3
- алгебра высказываний 2
- логико-математическая практика 2
- логическая равносильность 2
- логическое программирование 2
- множества 2
- отношения 2
- применение 2
- равносильные преобразования 2
- формализованные исчисления 2
- формальный вывод 2
- функции 2
- CD 1
- Алгоритмы, теория 1
- ЭВМ 1
- автореферентные высказывания 1
- аксиоматизация геометрии 1
- аксиоматика пеано 1
-
1
-
2
-
3
-
4
Введение в математическую логику
Published Санкт-Петербург, Лань, 2022Get full text
Get full text
Electronic Book