Temporal logic library of exact philosophy - Rescher, Nicholas; Urquhart, Alasdair (New York Springer-Verlag, 1971)
Keywords: Logic