Logic in computer modelling and reasoning about systems 2nd ed - Huth, Michael; Ryan, Mark (Delhi Cambridge University Press, 2005)
PG
E