Tense logic
Mcarthur, Robert P
Tense logic - Dordrecht: D. Reidel Publishing Company, 1976 - 84p.
Tense logic
Linear tense logic
160.1 / L6
Tense logic - Dordrecht: D. Reidel Publishing Company, 1976 - 84p.
Tense logic
Linear tense logic
160.1 / L6