On Dynamic Topological Logic of the Real Line | UPT Perpustakaan UHAMKA