TY  - BOOK
AU  - Abramsky,S.
AU  - Gabbay,Dov M.
AU  - Maibaum,Thomas S.E.
TI  - Handbook of logic in computer science
SN  - 0198537352(v.1)
U1  - 511.3 23
PY  - 1992///
CY  - Oxford
PB  - The University Press
KW  - Computer science
KW  - Mathematics
KW  - Logic,symbolic and mathematical
KW  - Logic programming
KW  - Logic design
KW  - Computer programs
N1  - Includes bibliographical references and index; Contents:v.1.Background:Mathematical structures. - xii,827p.-v.2. Bacground: computational structures. - 571p
ER  -