Logic in computer science
Huth, Michael
Logic in computer science modelling and reasoning about systems Michael Huth - 2nd ed. - Cambridge Cambridge University Press 2004 - xiv, 427p.
9780521670890
Computer logic
Logic programming
006.333 H9712l2
Logic in computer science modelling and reasoning about systems Michael Huth - 2nd ed. - Cambridge Cambridge University Press 2004 - xiv, 427p.
9780521670890
Computer logic
Logic programming
006.333 H9712l2