عنوان
پدید آورنده
موضوع
رده
QA 76 .K7
QA
76
.
K7
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Handbook of logic and proof techniques for computer science
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Birkhauser
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2002
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xix, 245 p.
GENERAL NOTES
Text of Note
Bibliography: p. 231-236
Text of Note
ISBN: 081764220X
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Steven G. Krantz
NOTES PERTAINING TO SUBJECT ACCESS
Text of Note
R
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computers
Entry Element
، Electronic data processing
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
K7
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Krantz, Steven George, 1591-
Relator Code
AU
TI
