Logic in computer science:
Huth, Michael
Logic in computer science: modelling and reasoning about systems Michael Huth - 2nd ed. - New York. Cambridge University Press, 2010 - xiv, 427p. 24 cm.
Include bibliographical references and Index.
9780521670890
logic
Computer science
Logic in computer science: modelling and reasoning about systems Michael Huth - 2nd ed. - New York. Cambridge University Press, 2010 - xiv, 427p. 24 cm.
Include bibliographical references and Index.
9780521670890
logic
Computer science