عنوان
پدید آورنده
موضوع
رده
QA 9.615 .D38 1982
QA
9
.
615
.
D38
1982
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computability and unsolvability
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Dover
Date of Publication, Distribution, etc.
1982
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
248p
GENERAL NOTES
Text of Note
Reprint. Originally published: New York: McGraw-Hill, 1958, )McGraw-Hill series in information processing and computers(
Text of Note
Bibliography: p.234-241
Text of Note
ISBN: 0486614719
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Martin Davis
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Recursive functions
Entry Element
، Unsolvability )Mathematical logic(
Entry Element
، Computable functions
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
615
.
D38
1982
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Davis, Martin, 8291-
Relator Code
AU
TI
