Riccardo Pucella
-
Logic in computer science: modelling and reasoning about systems
Logic for Applications