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. Background : mathematical structures
• τ. 2. Background : computational structures
• τ. 5. Logic and algebraic methods.