عنوان
پدید آورنده
موضوع
رده
QA 9.65 .S49
QA
9
.
65
.
S49
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Metamathematics, machines, and Godel's proof
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge
Name of Publisher, Distributor, etc.
Cambridge University Press
Date of Publication, Distribution, etc.
c1994
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv, 202 p
SERIES
Other Title Information
Cambridge tracts in theoretical computer science, 83
GENERAL NOTES
Text of Note
Bibliography: p. 189-196
Text of Note
ISBN 0521585333
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
N. Shankar
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Data processing ، Godel's theorem
Entry Element
، Automatic theorem proving
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
65
.
S49
OTHER CLASS NUMBERS
Class number
CA
Class number
511
.
3/0285/53
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Shankar, Natarajan
Relator Code
AU
TI
SE
