Logic in Computer Science: Modelling and Reasoning about Systems

Reasoning

by Michael Huth

Paperback

ISBN: 978-0-521-54310-1

ISBN-10: 0-521-54310-X

Cambridge University Press · 2004

See also:
2012Printed Access CodeLogic in Computer Science: Modelling and Reasoning about Systems
2007HardcoverLogic 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