Language of time - Gale Richard M (1968)
Keywords: LOGIC