Huth, Michael, 1962-
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. - 2nd ed. - Cambridge ; New York : Cambridge University, 2009. - xiv, 427 p. : il. ; 25 cm.
La biblioteca posee 2 ej.
Incluye referencias bibliográficas (p. 414-417) e índice.
9780521543101
Lógica matemática.
Lenguajes formales.
Lógica y significado de programas.
Mathematical logic.
Formal languages.
Logic and meanings of programs.
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. - 2nd ed. - Cambridge ; New York : Cambridge University, 2009. - xiv, 427 p. : il. ; 25 cm.
La biblioteca posee 2 ej.
Incluye referencias bibliográficas (p. 414-417) e índice.
9780521543101
Lógica matemática.
Lenguajes formales.
Lógica y significado de programas.
Mathematical logic.
Formal languages.
Logic and meanings of programs.