Research Catalog

Handbook of logic in computer science

Title: Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.
Publication: Oxford : Clarendon Press ; New York : Oxford University Press, 1992-<2000>

Items in the Library & Off-site

Filter by

2 Items

Item details
Status	Vol/Date	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	vol.5	Text	Use in library	QA76 .H2785 1992 vol.5	Off-site
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	vol.2	Text	Use in library	QA76 .H2785 1992 vol.2	Off-site

Details

Additional Authors

Description

volumes <1-5> : illustrations; 25 cm

Summary

V.1. Background, mathematical structures. V.2. Background, computational structures. V.3. Semantic structures. V.4. Semantic modelling. V.5. Logic and algebraic methods.

Series Statement

Oxford science publications.

Uniform Title

Oxford science publications.

Subject

Bibliography (note)

Includes bibliographical references and indexes.

Contents

v. 1. Background: mathematical structures -- v. 2. Background: computational structures -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods.

ISBN

0198537352
9780198537359
0198537611
9780198537618
019853762X
9780198537625
0198537808
9780198537809
0198537816
9780198537816

LCCN

92000510

OCLC

ocm25831688
25831688
SCSB-9197432

Owning Institutions

Princeton University Library