Time & Logic: A Computational Approach (Routledge Revivals)