Handbook of logic in computer science
004 / H191a
Gabbay, Dov M.
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum .- Oxford: Clarendon Press, 2000 .- xviii, 537p .
Contents: V.5. Logic And Algebraic Methods V.2 Background : Computational Structure
ISBN: 0198537816
Subject Headings:
Computer Science;
Logic, Symbolic And Mathematical;
Author Added Entry:
Abramsky, S. [Ed.];
Gabbay, Dov M. [Ed.];
Maibaum, T. S. E. [Ed.];
Copy Details:
Acc. No.: A145490, Full Call No.: 004 H191a V.5, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Gabbay, Dov M.
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum .- Oxford: Clarendon Press, 2000 .- xviii, 537p .
Contents: V.5. Logic And Algebraic Methods V.2 Background : Computational Structure
ISBN: 0198537816
Subject Headings:
Computer Science;
Logic, Symbolic And Mathematical;
Author Added Entry:
Abramsky, S. [Ed.];
Gabbay, Dov M. [Ed.];
Maibaum, T. S. E. [Ed.];
Copy Details:
Acc. No.: A145490, Full Call No.: 004 H191a V.5, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------