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: Λογικός προγραμματισμός; Επιστήμη των υπολογιστών > Μαθηματικά.; Λογική, Συμβολική και μαθηματική