TY  - GEN
AU  - Rescher,Nicholas
AU  - Urquhart,Alasdair
TI  - Temporal logic
SN  - 0387809953
PY  - 1971///
CY  - New York
PB  - Springer-Verlag
KW  - Logic, Symbolic and mathematical
KW  - Time
KW  - Modality (Logic)
N1  - Contine bibliografie
ER  -