Статьи (PhilSci-Archive)A Digital Calculation Method for Propositional LogicNongjian Zhou, 2024PDF · 28 стр. · английскийскачатьоткрыть