Refine your search
Availability
-
Bibliographic level
- Книги (21)
-
Authors
- Успенский, Владимир Андреевич (21)
- Верещагин, Николай Константинович (3)
- Колмогоров, Андрей Николаевич (3)
- Бурбаки, Никола (2)
- Падучева, Елена Викторовна (2)
- Плиско, Валерий Егорович (2)
- Эшби, Уильям Росс (2)
- Абрамова, И. В. (1)
- Дынкин, Евгений Борисович (1)
- Плунгян, Владимир Александрович (1)
- Савина, Маргарита Евгеньевна (1)
- Семенов, Алексей Львович (1)
- Черч, Алонзо (1)
- Шень, Александр Ханиевич (1)
- Шефтер, А. М. (1)
- Show more
- Show less
-
Locations
- Книгохранилище (19)
- Читальный зал. Депозитарий (3)
- Читальный зал 4 (2)
- Читальный зал 5 (2)
- Абонемент (1)
- Абонемент. Депозитарий (1)
- Библиотека РФФ (1)
- Show more
- Show less
-
Item types
- Выдается в читальный зал (16)
- 1 месяц (10)
- 1 неделя (3)
- 6 месяцев (2)
- Выдается по месту хранения (1)
-
Topics
- математическая логика (6)
- Колмогоров, Андрей Николаевич (3)
- аксиоматический метод (3)
- арифметика формальная (3)
- изоморфизмы (3)
- кардинальные числа (3)
- кванторы (3)
- математика (3)
- теория множеств (3)
- Александров, Павел Сергеевич (2)
- Геделя теорема о полноте (2)
- Кантора теорема (2)
- Кнорина, Лидия Владимировна (2)
- Маркова цепи (2)
- Математизация наук (2)
- Математические методы (2)
- Тьюринга машины (2)
- Филология (2)
- Черча тезис (2)
- автоморфизмы (2)
- алгоритмы (2)
- вывод из гипотез (2)
- выразимость (мат. логика) (2)
- выразимость (мат. логика), доказательство (2)
- детерминированные машины (2)
- истинности формальное определение (2)
- истинность (2)
- исчисление предикатов (2)
- категоричность (мат. логика) (2)
- кванторные теории (математика формальная) (2)
- кибернетика (2)
- логика высказываний (2)
- логические операции (2)
- логические теории (математика формальная) (2)
- логическое следование (2)
- математическая лингвистика (2)
- обратная связь (2)
- семиотика (2)
- сложные системы (2)
- части речи (2)
- языкознание (2)
- Алгоритмы случайного поиска (1)
- Банах, Стефан (1)
- Бернштейн, Сергей Натанович (1)
- Вейль, Герман (1)
- Вероятностные методы (1)
- Витгенштейн, Людвиг (1)
- Вселенная, модель геометрическая (1)
- Высказывание [лингв.] (1)
- Галилея парадокс (1)
- Show more
- Show less
-
Collections