Temporal Logic

Series: 
Studies in Linguistics and Philosophy 57
Publisher: 
Kluwer
Publication Year - Description: 
1995
ISBN: 
0-7923-3586-4
Type of Material: 
Books (BK)
Notes: 
Author/Composer: 
Ohrstrom, P./Hasle, P. F. V.