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

Table of Contents:

• Τ. 1. Background : mathematical structures
• τ. 2. Background : computational structures
• τ. 5. Logic and algebraic methods.