תוצאות חיפוש
בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
- неклассическая логика
- Логика 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
Введение в математическую логику
יצא לאור Санкт-Петербург, Лань, 2022קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר