Refine your search
Availability
-
Bibliographic level
- Книги (5)
-
Authors
-
Locations
- Абонемент [x]
- Читальный зал 5 (2)
- Книгохранилище (2)
- Читальный зал 3 (1)
- Абонемент. Депозитарий (1)
- Отдел рукописей и книжных памятников (1)
- Show more
- Show less
-
Item types
- 6 месяцев (5)
- Выдается в читальный зал (2)
- 1 неделя (2)
- Выдается по месту хранения (2)
-
Topics
- учебные пособия для вузов (4)
- Государство и право России (3)
- Государство и право СССР (3)
- История (3)
- Псковская судная грамота (3)
- Россия (3)
- Русская правда (3)
- СССР. (3)
- Хрестоматии (3)
- городовые положения (3)
- история государства и права (3)
- кодексы (3)
- конституции (3)
- правовые памятники (3)
- резолюции съездов (3)
- судебники (3)
- указы (3)
- уставы (3)
- хрестоматии (3)
- исчисление предикатов (2)
- логика высказываний (2)
- логика предикатов (2)
- математическая логика (2)
- SLD-резолюции (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)
- множеств теория (1)
- множеств теория алгоритмическая (1)
- Show more
- Show less