RecordNumber :
9362
LC Class :
QA
LC Number :
248.5
LC CutterNumber :
.H413
LC Date :
1969
Dewey Class :
510
Dewey Date :
/.01
Author :
Hermes, Hans
Title :

Enumerability, decidability, computability

Author Statement :
Translated by G. T. Hermann and O. Plassmann
Edition :
2d rev. ed.
Publication :
Springer
Publication Year :
1969
Collation :
x, 245 p., 24 cm
Series :
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgebiete ; Bd. 127
Notes :
Translation of Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit
Subject :
Recursive functions,Algorithms,Godelʹs theorem,Computable functions
DocumentNumber :
8875
SubTitle :
An introduction to the theory of recursive functions
Biblography :
Includes bibliographies.
BL :
BL
Link To Document :

بازگشت