SubTitle

from ancient ideas to artificial intelligence

Author Statement

Peter Ohrstrom,Per F.V.Hasle

Collation

Viii, 413 P

Addition

,

Title

Temporal Logic

LC Class

160

LC CutterNumber

H 873 T

Publication Year

1995

Publication

Kluwer Academic Publishers

Series

Studies in linguistics and philosophy; V.57

Subject

Tense (Logic),logic, symbolic and mathematical,Time

DocumentNumber

5135

ISBNN

, 1 , 7695 , 2-1

RecordNumber

2234