Mikhail Rybakov

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.