Logic In Computer Science: Modelling And Reasoning About Systems
by:
Michael Huth (author)
Mark Ryan (author)
Format: paperback
ISBN:
9780521656023 (0521656028)
Publish date: December 28th 1999
Publisher: Cambridge University Press
Edition language: English