Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxf,

Mathematical Logic: 37 Graduate Texts in Mathematics - J. Donald Monk Springer

Mathematical Logic and Computation by Jeremy Avigad (English) Hardcover Book

Mathematical Logic for Computer Science 3rd Ed. (Ben-Ari)

Temporal Logic : Mathematical Foundations and Computational Aspects, Hardcove...

Mathematical Aspects of Logic Programming Semantics, Paperback by Hitzler, Pa...

Temporal Logic : Mathematical Foundations and Computational Aspects, Hardcove...