TY  - BOOK
AU  - Abramsky,S.,ed.
AU  - Gabbay,Dov M.,1945- ,ed.
AU  - Maibaum,Thomas.S.E.,1947-,ed.
TI  - Handbook of logic in computer science
SN  - 0198537611
U1  - enk 22
PY  - 1992///
CY  - Oxford
PB  - The University Press
KW  - Computer science
KW  - Logic,symbolic and mathematical
N1  - Includes bibliographical references and index; Contents:v.2.Background:Computational structures.-x,571p
ER  -