Bilaketaren emaitzak
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- неклассическая логика
- Логика 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 г.]
Argitaratua Москва, Наука, 1989Liburua -
2
-
3
Исследования по неклассическим логикам и формальным системам сборник статей
Argitaratua Москва, Наука, 1983Liburua -
4
Математическая логика, математическая лингвистика и теория алгоритмов сборник научных трудов
Argitaratua Калинин, Изд-во Калининского гос. ун-та, 1983Liburua -
5
-
6
-
7
Введение в математическую логику
Argitaratua Санкт-Петербург, Лань, 2022Testu osoa
Testu osoa
Baliabide elektronikoa Liburua