Logic in Computer Science Modelling and Reasoning About Systems (Hardcover) → Paperback, Hardcover ISBN-13: 9780521652001 ISBN-10: 0521652006 Genre: Computers & Technology ? Logic in Computer Science Modelling and Reasoning About Systems (Paperback) → Paperback, Hardcover ISBN-13: 9780521656023 ISBN-10: 0521656028 Genre: Computers & Technology ? |