Dynamic Topological Logic (2005)

by PHILIP KREMER, GRIGORI MINTS
Venue:Annals of Pure and Applied Logic