Logic in Computer Science: Modelling and Reasoning about Systems

Reasoning

by: Michael Huth · Mark Ryan

Paperback

ISBN: 978-0-521-65602-3

ISBN-10: 0-521-65602-8

Cambridge University Press · 1999

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