Taut Monads, Dynamic Logic and Determinism

From MaRDI portal
Publication:5262941