TY - BOOK AU - Rescher Nicholas AU - Urquhart Alasdair TI - Temporal Logic U1 - 164 PY - 1971/// CY - Wien PB - Springer-Verlag KW - Mathematical Logic KW - Symbolic ER -