Logic in computer science : modelling and reasoning about systems /

• Κύριος συγγραφέας: Huth, Michael, 1962- (συγγραφέας)
• Άλλοι συγγραφείς: Ryan, Mark, 1962- (συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge : Cambridge University Press, c2004.
• Θέματα: Λογική, Συμβολική και μαθηματική; Λογικός προγραμματισμός
• Φυσική περιγραφή: xiv, 427 σ. : εικ. ; 25 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 052154310X