Resultats de la cerca
Matèries dins de la cerca
Matèries dins de la cerca
- неклассическая логика
- Логика 2
- Математическая логика 2
- логика 2
- математика 2
- математическая логика 2
- Алгебра логики 1
- Алгоритмы, теория 1
- Математическая кибернетика 1
- автоматы 1
- автореферентные высказывания 1
- аксиоматизация геометрии 1
- аксиоматика пеано 1
- аксиоматика цермело френкеля 1
- аксиоматическая теория 1
- аксиоматические теории 1
- алгебра Гейтинга 1
- алгебра Сколема 1
- алгоритмически неразрешимые проблемы 1
- алгоритмы 1
- аргументация 1
- булевы алгебры 1
- булевы функции 1
- бурбаки 1
- выводимость 1
- выполнимые 1
- выразимость 1
- высказывания 1
- вычисление ламбда-выражений 1
- вычислимость 1
-
1
Исследования по неклассическим логикам 1V сов.-фин. коллоквиум [г. Телави, май 1985 г.]
Publicat Москва, Наука, 1989Llibre -
2
-
3
Исследования по неклассическим логикам и формальным системам сборник статей
Publicat Москва, Наука, 1983Llibre -
4
Математическая логика, математическая лингвистика и теория алгоритмов сборник научных трудов
Publicat Калинин, Изд-во Калининского гос. ун-та, 1983Llibre -
5
-
6
-
7
Введение в математическую логику
Publicat Санкт-Петербург, Лань, 2022Obtenir text complet
Obtenir text complet
Electrònic Llibre