Mikhail Rybakov (rybakov-m)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Rybakov, Mikhail. 2006. “Complexity of Intuitionistic and Visser’s Basic and Formal Logics in Finitely Many Variables.” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 393–411. London: King’s College Publications.