Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable

From MaRDI portal
Publication:2276947