1
by Alagar, V.S., Periyasamy, K.
Published 2011
Springer London
Table of Contents: ... -- Propositional Logic -- Predicate Logic -- Temporal Logic -- Part IV: Mathematical Abstractions for Model-based...