TY  - GEN
T1  - Handbook of logic in computer science.
T2  - Oxford science publications.
A2  - Abramsky, Samson, 1953-
A2  - Gabbay, Dov M., 1945-
A2  - Maibaum, Thomas S. E., 1947-
LA  - English
PP  - Oxford : New York
PB  - Clarendon Press ; Oxford University Press
YR  - 2000
UL  - https://ebooks.jgu.edu.in/Record/ebsco_acadsubs_ocm53983677
AB  - This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.
CN  - QA76 .H2785 2000eb
SN  - 9780191546273
SN  - 0191546275
SN  - 1280375272
SN  - 9781280375279
SN  - 0198537352
SN  - 9780198537359
SN  - 0198537611
SN  - 9780198537618
SN  - 019853762X
SN  - 9780198537625
SN  - 0198537808
SN  - 9780198537809
SN  - 0198537816
SN  - 9780198537816
KW  - Computer science.
KW  - Logic, Symbolic and mathematical.
KW  - Electronic Data Processing
KW  - Informatique.
KW  - Logique symbolique et mathématique.
KW  - COMPUTERS : Reference.
KW  - COMPUTERS : Machine Theory.
KW  - COMPUTERS : Computer Literacy.
KW  - COMPUTERS : Information Technology.
KW  - COMPUTERS : Data Processing.
KW  - COMPUTERS : Computer Science.
KW  - COMPUTERS : Hardware : General.
KW  - Computer science
KW  - Logic, Symbolic and mathematical
KW  - Ciencia da computacao ou informatica.
KW  - Logica e semantica de programacao.
KW  - Programming.
ER  -