Logics of Time and Computation
Publisher: University of Chicago Press
Published: May 21, 1987
Format: paperback
ISBN-13: 9780226300948