Mikhail Rybakov’s article “Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables” has been published
Mikhail Rybakov’s article “Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables” has been published
In the journal Annals of Pure and Applied Logic, an article by Mikhail Rybakov has been published.
