Jump to ContentJump to Main Navigation
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures - Oxford Scholarship Online
Users without a subscription are not able to see the full content.

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

S. Abramsky, Dov M. Gabbay, and T. S. E. Maibaum

Abstract

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 major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. It is the result of many years of cooperative effort by some of the most eminent frontline ... More

Bibliographic Information

Print publication date: 2001 Print ISBN-13: 9780198537816
Published to Oxford Scholarship Online: November 2020 DOI:10.1093/oso/9780198537816.001.0001

Authors

Affiliations are at time of print publication.

S. Abramsky, editor

Dov M. Gabbay, editor

T. S. E. Maibaum, editor

Show Summary Details

subscribe or login to access all content.

Contents

View: