Logic in computer science : modelling and reasoning about systems /

• Main Author: Huth, Michael, 1962- (συγγραφέας)
• Other Authors: Ryan, Mark, 1962- (συγγραφέας)
• Format: Book
• Language: English
• Published: Cambridge : Cambridge University Press, c2004.
• Subjects: Λογική, Συμβολική και μαθηματική; Λογικός προγραμματισμός