عنوان
پدید آورنده
موضوع
رده
QA 76 .H2785 1992
QA
76
.
H2785
1992
کتابخانه
محل استقرار
CE
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Handbook of logic in computer science
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Oxford
Name of Publisher, Distributor, etc.
Clarendon Press
Date of Publication, Distribution, etc.
1992-
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
v. : ill
GENERAL NOTES
Text of Note
Includes bibliographical references and indexes
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer science
Entry Element
Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
Classification Record Number
.
H2785
1992
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
Entry Element
edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
English
