檢索結果
在您的搜尋 主題建議
在您的搜尋 主題建議
- неклассическая логика
- Логика 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 г.]
出版 Москва, Наука, 1989圖書 -
2
-
3
Исследования по неклассическим логикам и формальным системам сборник статей
出版 Москва, Наука, 1983圖書 -
4
Математическая логика, математическая лингвистика и теория алгоритмов сборник научных трудов
出版 Калинин, Изд-во Калининского гос. ун-та, 1983圖書 -
5
-
6
-
7