Enumerability, decidability, computability : an introduction to the theory of recursive functions

Enumerability, decidability, computability : an introduction to the theory of recursive functions

Enregistré dans:
Détails bibliographiques
Auteur principal : Hermes Hans (Auteur)
Format : Livre
Langue : anglais
Titre complet : Enumerability, decidability, computability : an introduction to the theory of recursive functions / by Hans Hermes,...; trad. by G. T. Herman and O. Plassmann
Publié : Berlin, Heidelberg, New York : Springer-Verlag , 1965, cop. 1965
Description matérielle : 1 vol. (IX-245 p.)
Collection : Grundlehren der mathematischen Wissenschaften ; Band 127
Titre de l'ensemble : Die Grundlehren der mathematischen Wissenschaften vol. Band 127
Traduction de : Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Sujets :
Gödel, Théorème de
Fonctions récursives
Algorithmes
LEADER 02211cam a2200589 4500
001 PPN009075763
003 http://www.sudoc.fr/009075763
005 20211105112700.0
010 |b rel. 
020 |a US  |b 6512556 //r84 
035 |a 072088478  |9 sudoc 
035 |a (OCoLC)489928013 
035 |a ocm00527054 
035 |a urouen155952 
035 |a sib0333004 
035 |a PRITEC.MARSEILLE.010680325001 
100 |a 19911206h19651965k y0frey0103 ba 
101 1 |a eng  |c ger 
102 |a DE  |a US 
105 |a y a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 1 |6 z01  |a nga  |2 rdacarrier 
200 1 |a Enumerability, decidability, computability  |e an introduction to the theory of recursive functions  |f by Hans Hermes,...  |g trad. by G. T. Herman and O. Plassmann 
214 0 |a Berlin  |a Heidelberg  |a New York  |c Springer-Verlag  |d 1965, cop. 1965 
215 |a 1 vol. (IX-245 p.)  |d 24 cm 
225 1 |a Die Grundlehren der mathematischen Wissenschaften  |x 0072-7830  |v Band 127 
320 |a Notes bibliogr. Index 
410 | |0 038855690  |t Grundlehren der mathematischen Wissenschaften  |x 0072-7830  |v Band 127 
454 | |0 009075518  |t Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit  |o Einführung in die Theorie der rekursiven Funktionen  |f von Hans Hermes,...  |c Berlin  |n Springer  |d cop. 1961  |p 1 vol. (IX-246 p.)  |s Die Grundlehren der mathematischen Wissenschaften  |y 0-387-08869-5 
606 |3 PPN027351432  |a Gödel, Théorème de  |2 rameau 
606 |3 PPN027814688  |a Fonctions récursives  |2 rameau 
606 |3 PPN027814688  |a Fonctions récursives  |2 rameau 
606 |3 PPN027282171  |a Algorithmes  |2 rameau 
676 |a 510/.01  |v 23 
676 |a 164  |v 23 
676 |a 518.1  |v 23 
680 |a QA248.5  |b .H413 1969 
686 |a F.1  |2 ACM 
686 |a 02.70  |c 2000  |2 msc 
700 1 |3 PPN032337094  |a Hermes  |b Hans  |f 1912-2003  |4 070 
801 3 |a FR  |b Abes  |c 20200121  |g AFNOR  |h 072088478 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 0 |a FR  |b UMS MI2S  |c 20080716 
930 |5 441092208:678733902  |b 441092208  |j u 
979 |a CCFA 
998 |a 878401