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

Handbook of logic in computer science, vol.1: Background. Mathematical structures

โœ Scribed by Abramsky S., Gabbay D.M., Maibaum T.S. E. (eds.)

Publisher
Oxford University Press
Year
1992
Tongue
English
Leaves
839
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 1: Background: Mathematical Structures
โœ Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 1993 ๐Ÿ› Oxford University Press ๐ŸŒ English

Logic is now widely recognized to be 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 artificial intelligence research. <em>The Handbook of Logic in Computer Science</e

Handbook of Logic in Computer Science. V
๐Ÿ“ Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures
โœ Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 1993 ๐Ÿ› Oxford University Press ๐ŸŒ English

Logic is now widely recognized to be 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 artificial intelligence research. <em>The Handbook of Logic in Computer Science</e

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

The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is

Handbook of Logic in Computer Science. V
๐Ÿ“ Handbook of Logic in Computer Science. Volume 3: Semantic Structures
โœ Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 1994 ๐Ÿ› 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 the