Huth, Michael
Logic in computer science : modeling and reasoning about systems / Michael Huth, Mark Ryan. - 2nd ed. - Cambridge, UK [etc.] : Cambridge University Press , cop. 2004 . - XIV, 427 p. : il. ; 25 cm.
ISBN 978-0-521-54310-1
Lógica de computador
Programação em lógica
LCC QA76.9
Logic in computer science : modeling and reasoning about systems / Michael Huth, Mark Ryan. - 2nd ed. - Cambridge, UK [etc.] : Cambridge University Press , cop. 2004 . - XIV, 427 p. : il. ; 25 cm.
ISBN 978-0-521-54310-1
Lógica de computador
Programação em lógica
LCC QA76.9
