TY - BOOK AU - Rescher Nicholas AU - Urquhart Alasdair TI - Temporal logic T2 - Library of exact philosophy U1 - R1, L1 PY - 1971/// CY - New York PB - Wien ER -