๐”– 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
โœ 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