Logic in Computer Science: Modelling and Reasoning about Systems

by: Michael Huth · Mark Ryan

Printed Access Code

ISBN: 978-0-511-81027-5

ISBN-10: 0-511-81027-X

Cambridge University Press · 2012

See also:
2007HardcoverLogic in Computer Science: Modelling and Reasoning about Systems
2004PaperbackLogic in Computer Science: Modelling and Reasoning about Systems
1999PaperbackLogic in Computer Science: Modelling and Reasoning about Systems
1999HardcoverLogic in Computer Science: Modelling and Reasoning about Systems