Huth, Michael
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan - 2nd ed. - Cambridge : Cambridge Univ. Press, 2004 - 427 p. : ill.
Includes bibliographical references and index
052154310X
COMPUTER LOGIC
LOGIC PROGRAMMING (COMPUTER SCIENCE)
QA76.9 .L63 / H873L 2004
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan - 2nd ed. - Cambridge : Cambridge Univ. Press, 2004 - 427 p. : ill.
Includes bibliographical references and index
052154310X
COMPUTER LOGIC
LOGIC PROGRAMMING (COMPUTER SCIENCE)
QA76.9 .L63 / H873L 2004