Logic in computer science :
Huth, Michael
Logic in computer science : modelling and reasoning about systems by Michael Huth and Mark Ryan - 2nd ed. - New Delhi : Cambridge University Press, ©2004 - xiv, 427 p. ; 24cm.
Includes index and bibliographical references.
090899161746
Computer science
Computer logic
Logic programming
005.101 / HUT-L
Logic in computer science : modelling and reasoning about systems by Michael Huth and Mark Ryan - 2nd ed. - New Delhi : Cambridge University Press, ©2004 - xiv, 427 p. ; 24cm.
Includes index and bibliographical references.
090899161746
Computer science
Computer logic
Logic programming
005.101 / HUT-L