Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
ورود / ثبت نام
عنوان
Computability
پدید آورنده
Martin Davis,Title
موضوع
Recursive functions,Unsolvability )Mathematical logic(,Computable functions
رده
QA
.
D38
9
.
615
1982
کتابخانه
Central Library of Imam Khomeini International University of Qazvin
محل استقرار
استان:
Qazvin
ـ شهر:
Qazvin
تماس با کتابخانه :
33780050
-
028
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computability
First Statement of Responsibility
Martin Davis
EDITION STATEMENT
Edition Statement
Dover ed
.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
xxv, 248 p. ; 22 cm
SERIES
Series Title
Series: McGraw-Hill series in information processing and computers
GENERAL NOTES PERTAINING TO DESCRIPTIVE INFORMATION
Text of Note
Reprint. Originally published: New York : )McGraw-Hill, 1958. McGraw-Hill series in information processing and computers. With new pref. and appendix(
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes index
SUMMARY OR ABSTRACT
Text of Note
Bibliography: p. 237-241
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
Classification Record Number
9
.
615
Book number
.
D38
1982
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Davis, Martin, 1928-
Entry Element
Title
English Book
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal