Repository | Directory | Profile
References
Vladimir M. Popov
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