Refine your search
Availability
-
Bibliographic level
- Книги (4)
-
Authors
- Лавров, Игорь Андреевич [x]
- Максимова, Лариса Львовна (4)
-
Locations
- Книгохранилище (4)
- Абонемент (1)
- Абонемент. Депозитарий (1)
- Читальный зал. Депозитарий (1)
-
Item types
- 1 месяц [x]
- Выдается в читальный зал (3)
- 6 месяцев (1)
-
Topics
- алгебра высказываний (4)
- задачи (4)
- теория множеств (4)
- учебные пособия для вузов (4)
- функции [x]
- Клини нумерация (3)
- Тьюринга машины (3)
- алгебра логики (3)
- алгоритмов теория (3)
- кардинальные числа (3)
- математическая логика (3)
- ординальные числа (3)
- предикаты (3)
- Поста нумерации (2)
- аксиоматическая теория (2)
- аксиоматические теории (2)
- исчисление (2)
- язык логики предикатов (2)
- Поста нумерация (1)
- аксиоматизируемые классы (1)
- бинарные отношения (1)
- исчисление высказываний (1)
- исчисление предикатов (1)
- отношения (1)
- фильтрованные произведения (1)
- фильтры (1)
- функции рекурсивные (1)
- числа кардинальные (1)
- числа ординальные (1)
- Show more
- Show less