Huth, Michael, 1962-
Logic in computer science : modelling and reasoning about systems /
Michael Huth, Mark Ryan
- 2nd ed.
- xiv, 427 páginas : ilustraciones
Reimpresiones: (20th, 2020)
052154310X 9780521543101
Lógica computacional
Programación lógica
QA76.9L63 / H87 2004