TY  - BOOK
AU  - McArthur,Robert P
TI  - Tense logic
T2  - Synthese library
SN  - 9027706972
U1  - 511.3 
PY  - 1976///
CY  - Holland
PB  - D Reidel
KW  - Symbolic logic
ER  -