Logic in computer science Modelling and reasoning about systems. - Huth Michael; Ryan Mark (Cambridge Cambridge University Press, 2004)
Keywords: Computer Programming