[
Buning Hans Kleine, Lettman Theodor, Propositional Logic, Cambridge University Press, Cambridge, 1999.
]Search in Google Scholar
[
Epstein Richard L., Propositional Logic, ARF, Socorro, 2012.
]Search in Google Scholar
[
Lewis C. I., Langford C. H., Symbolic Logic, Dover, New York, 1959.
]Search in Google Scholar
[
Ohrstrom Peter, Hasle Per F. V., Temporal Logic, Kluver, Dordrecht, 1995.10.1007/978-0-585-37463-5
]Search in Google Scholar
[
Rescher Nicholas, Urquhart Alasdair, Temporal Logic, Springer-Verlag, Wien, 1971.10.1007/978-3-7091-7664-1
]Search in Google Scholar