Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy)
by:
Peter Øhrstrøm
·
Per Hasle
Hardcover
details (
USA
).
ISBN: 978-0-7923-3586-3
ISBN-10: 0-7923-3586-4
Springer
· 1995