Handbook of logic in computer science /

• Other Authors: Abramsky, Samson, 1953- (επιμελητής.), Gabbay, Dov M., 1945- (επιμελητής.), Maibaum, Thomas S. E., 1947- (επιμελητής.)
• Format: Book
• Language: English
• Published: Oxford : Clarendon Press, 1992-2000.
• Subjects: Λογικός προγραμματισμός; Επιστήμη των υπολογιστών > Μαθηματικά.; Λογική, Συμβολική και μαθηματική
• Item Description: Τ. 1. - xii, 827 σ. - 1992 ; τ. 2. x, 571 σ. - 1992 ; τ. 5. - x, 571 σ. - 2000.
• Physical Description: 5 τ. : εικ. ; 24 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφία και ευρετήριο.
• ISBN: 0198537352; 0198537611; 0198537816