Refine your search
Availability
-
bib-level
- m (3)
-
Authors
-
Locations
- Книгохранилище (1)
- Читальный зал 5 (2)
-
Item types
-
Topics
- Вебера классификация поведения (1)
- Генцена основная теорема (1)
- Генцена системы натурального вывода (1)
- ДСМ-метод (1)
- Драгалин, Альберт Григорьевич (1)
- Математический анализ (1)
- Фитча теория множеств (1)
- автоматическое порождение гипотез, средства логические (1)
- аксиоматическая теория множеств (1)
- аксиоматические теории формальные (1)
- алгебраические модели (1)
- анализ мнений, концептуализация (1)
- анализ нестандартный (1)
- антиномия (1)
- арифметические теории (1)
- базы данных с неполной информацией (1)
- выводы правдоподобные, правила (1)
- данные (1)
- исчисление секвенций (3)
- математическая логика (2)
- Show more
- Show less