Hanbdook of logic in computer science. Volume 5, Logic and algebraic methods /

Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. 'The Handbook of Logic in Computer Science' is a multi-volume work cove...

Full description

Bibliographic Details

Other Authors:	Abramsky, Samson, 1953- (Editor), Gabbay, Dov M., 1945- (Editor), Maibaum, Thomas S. E., 1947- (Editor)
Format:	eBook
Language:	English
Published:	Oxford : Oxford University Press, 2020.
Subjects:	Logic, Symbolic and mathematical. Computer science > Mathematics. Logique symbolique et mathématique. Informatique > Mathématiques. Computer science > Mathematics Logic, Symbolic and mathematical Electronic books.
Online Access:	Connect to the full text of this electronic book