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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------