Electronic Documents Search

Documents found: 1

Creators	Кулик Борис Александрович
Organization	Российская академия наук. Институт Проблем Машиноведения
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2023
Collection	Общая коллекция
Subjects	Математическая логика; логический анализ; обучение; аксиоматический подход; силлогистика; теория множеств; алгебра множеств; язык первого порядка; исчисление предикатов; алгебра кортежей; logical analysis; education; axiomatic approach; syllogistics; set theory; algebra of sets; first-order language; predicate calculus; n-tuple algebra
UDC	510.6
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/id23-482
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 1.3 Mb