Logic in computer science: modelling and reasoning about systems - 2nd ed.
Huth, Michael
Logic in computer science: modelling and reasoning about systems - 2nd ed. - Delhi: Cambridge University Press; 2016 - xiv, 427 p. 23 cm.
9780521670890(pb)
Includes bibliography and index.
005.101 HUT-RYA
Logic in computer science: modelling and reasoning about systems - 2nd ed. - Delhi: Cambridge University Press; 2016 - xiv, 427 p. 23 cm.
9780521670890(pb)
Includes bibliography and index.
005.101 HUT-RYA