Handbook of Logic in Computer Science: Volume 5....

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

Abstract

The latest volume in this major reference work covers all major areas of application of logic and theoretical computer science

Abramsky S; Gabbay DM; Maibaum TSE

OUP Oxford

January 25, 2001

0198537816

9780198537816

Thomas Maibaum