A Logic that Captures $\beta$P on Ordered Structures

From MaRDI portal
Publication:6330718