عنوان
پدید آورنده
موضوع
رده
QA 76 .H234
QA
76
.
H234
کتابخانه
محل استقرار
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
6v.: ill, tables
Other Physical Details
1
Other Physical Details
2
Other Physical Details
3
Other Physical Details
4
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN: 0198537352)v.1(
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
edited by S. Abramsky, Dor M. Gabba
NOTES PERTAINING TO SUBJECT ACCESS
Text of Note
R
ORIGINAL VERSION NOTE
Text of Note
1
Text of Note
1
Text of Note
1
Text of Note
1
CONTENTS NOTE
Text of Note
V.1.Background:Mathematical structures.--V.2.Background:Computational structures.--V.3.Semantic structures.--V.4.Semantic modeling.--V.5.Theoretical methods in...--V.6.Logic methods in
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer science
Entry Element
، Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
H234
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU Abramsky, Samson, 1953-
AU Gabbay, Dov M., 1945-
AU Maibaum, Thomas S. E., 1947-
