๐”– Scriptorium
โœฆ   LIBER   โœฆ
๐Ÿ“

Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

โœ Scribed by Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Publisher
Clarendon Press
Year
2001
Tongue
English
Leaves
555
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Handbook of Logic in Computer Science. V
๐Ÿ“ Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods
โœ Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 2001 ๐Ÿ› Clarendon Press ๐ŸŒ English

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 covering all th