
Logic in Computer Science
Modelling and Reasoning about Systems
de Mark Ryan
Materias
Ediciones (4)
- Logic in Computer Science (2004)
Cambridge University Press · inglés · ISBN 9780521543101
- Logic in Computer Science (2000)
Cambridge University Press · inglés · ISBN 9780521652001


