Temporal logic : from ancient ideas to artificial intelligence
by Peter Øhrstrøm and Per F.V. Hasle.
Dordrecht ; Boston : Kluwer Academic Publishers, ©1995.
viii, 413 págs. : ilustraciones ; 23 cm.
Serie: Studies in linguistics and philosophy ; v. 57
ISBN: 0792335864 (hb : alk. paper)
Incluye referencias bibliográficas (p. 386-404) e índice.