Repository | Directory | Profile
References
Vasily O. Shangin
On sublogics in Vasiliev fragment of the logic definable with A. Arruda's calculus v1
2017
in: The logical legacy of Nikolai Vasiliev and modern logic, Dordrecht : Springer
Repository | Directory | Profile
On sublogics in Vasiliev fragment of the logic definable with A. Arruda's calculus v1
2017
in: The logical legacy of Nikolai Vasiliev and modern logic, Dordrecht : Springer