Информация об авторе

Сметанина, Л. П., Россия

  • Том 16, № 1-2 (2018) - Символическая логика и основания математики
    Верификация логического следования с использованием объёмных соотношений множеств и их соответствий
    Аннотация  PDF