TY  - BOOK
AU  - Abramsky,Samson
AU  - Gabbay,Dov M.
AU  - Maibaum,Thomas S.E.
TI  - Handbook of logic in computer science
SN  - 9780191546273 (electronic bk.)
AV  - QA76 .H2785 2000eb
U1  - 004 22
PY  - 2000///
CY  - Oxford, New York
PB  - Clarendon Press, Oxford University Press
KW  - Computer science
KW  - Logic, Symbolic and mathematical
KW  - Informatique
KW  - Logique symbolique et mathématique
KW  - Ciencia da computacao ou informatica
KW  - larpcal
KW  - Logica e semantica de programacao
KW  - Programming
KW  - Electronic books
KW  - local
N1  - Title from ebook title screen (viewed Jan. 6, 2004); Includes bibliographical references and indexes
UR  - https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=98424
ER  -