Temporal Logic - Rescher Nicholas; Urquhart Alasdair (Wien Springer-Verlag, 1971)
Keywords: Mathematical Logic; Symbolic