عنوان
پدید آورنده
موضوع
رده
QA 248.5 .H413 1969
QA
248
.
5
.
H413
1969
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Enumerability decidability computability : an introduction to the theory of recursive functions
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1969
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 245p
SERIES
Other Title Information
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit Besonderer...; Bd.721
GENERAL NOTES
Text of Note
Translation of: Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit
Text of Note
Includes bibliographies
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Hans Hermes; translated by G.T. Hermann and O. Plassmann
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Recursive functions
Entry Element
، Algorithms
Entry Element
، Godel's theorem
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
248
.
5
.
H413
1969
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Hermes, Hans
Relator Code
AU
TI
SE Grundlehren der mathematischen Wissenschaften 127
