Handbook of logic in computer science /

• Άλλοι συγγραφείς: Abramsky, Samson, 1953- (επιμελητής.), Gabbay, Dov M., 1945- (επιμελητής.), Maibaum, Thomas S. E., 1947- (επιμελητής.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Oxford : Clarendon Press, 1992-2000.
• Θέματα: Λογικός προγραμματισμός; Επιστήμη των υπολογιστών > Μαθηματικά.; Λογική, Συμβολική και μαθηματική
• Περιγραφή τεκμηρίου: Τ. 1. - xii, 827 σ. - 1992 ; τ. 2. x, 571 σ. - 1992 ; τ. 5. - x, 571 σ. - 2000.
• Φυσική περιγραφή: 5 τ. : εικ. ; 24 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφία και ευρετήριο.
• ISBN: 0198537352; 0198537611; 0198537816