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