Dynamic topological logic

From MaRDI portal
Publication:705534