004 / H191A
HANDBOOK OF LOGIC IN COMPUTER SCIENCE / edited by Abramsky,S, Gabbay,Dov M and T. S. E. Maibum .- Clarendon Press,Oxford, 2000 .- xviii,537 .
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:
Maibaum,T S E;
Copy Details:
Acc. No.: A141460, Full Call No.: 004 H191A, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
HANDBOOK OF LOGIC IN COMPUTER SCIENCE / edited by Abramsky,S, Gabbay,Dov M and T. S. E. Maibum .- Clarendon Press,Oxford, 2000 .- xviii,537 .
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:
Maibaum,T S E;
Copy Details:
Acc. No.: A141460, Full Call No.: 004 H191A, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------