Handbook of logic in computer science

Author Statement

edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum

Publication

Clarendon Press, Oxford University Press , Clarendon Press, Oxford University Press

Publication Year

1992-

Collation

V., : ill. ; 25 cm

Notes

0198537352 , Includes bibliographical references and indexes

Contents

Contents: v. 1. Background, mathematical structure -- v. 2. Background, computational structure

Subject

Logic, Symbolic and mathematical , Computer science

ADDED ENTRIES

Maibaum, Thomas S. E. , Gabbay, Dov M. , Abramsky, Samson

LC Class

LC Number

LC CutterNumber

.H2785

LC Date

1992

نام فايل

IUST eb-153 -- eb153d18

Link To Document