Logic in computer science : modelling and reasoning about systems /
Huth, M.
Logic in computer science : modelling and reasoning about systems / by M. Huth & M. Ryan. - 2nd ed. - Cambridge : Cambridge University Press, 2011. - xiv, 427 p. 25 cm.
9780521670890 (pbk)
Computer Logic.
005.1015113 / HUT/L
Logic in computer science : modelling and reasoning about systems / by M. Huth & M. Ryan. - 2nd ed. - Cambridge : Cambridge University Press, 2011. - xiv, 427 p. 25 cm.
9780521670890 (pbk)
Computer Logic.
005.1015113 / HUT/L