Handbook of logic in computer science - Gabbay, Dov M.; Abramsky, S. [Ed.]; Gabbay, Dov M. [Ed.]; Maibaum, T. S. E. [Ed.] (Clarendon Press Oxford, 2000)
Contents: V.5. Logic And Algebraic Methods V.2 Background : Computational Structure
Keywords: Computer Science; Logic, Symbolic And Mathematical