Сметанин, Ю. М., Россия
-
Том 13, № 2 (2016): Современная логика: проблемы теории, истории и применения в науке - Символическая логика и основания математики
Интерпретация субъектно-предикатных суждений в множествах из неотрицательных целых чисел
Аннотация PDF -
Том 16, № 1-2 (2018) - Символическая логика и основания математики
Верификация логического следования с использованием объёмных соотношений множеств и их соответствий
Аннотация PDF
ISSN: 2223-3954