Cargando…

Enumerability, Decidability, Computability An Introduction to the Theory of Recursive Functions.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Herman, Gabor T.
Otros Autores: Hermes, Hans, Plassmann, O.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2013.
Colección:Grundlehren der Mathematischen Wissenschaften Ser.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Mu 4500
001 EBOOKCENTRAL_on1255234479
003 OCoLC
005 20240329122006.0
006 m o d
007 cr |||||||||||
008 210605s2013 xx o ||| 0 eng d
040 |a EBLCP  |b eng  |c EBLCP  |d UKAHL  |d OCLCQ  |d REDDC  |d OCLCF  |d OCLCQ  |d OCLCO  |d OCLCL 
020 |a 9783662116869 
020 |a 3662116863 
035 |a (OCoLC)1255234479 
050 4 |a QA1-939 
082 0 4 |a 164  |2 23 
049 |a UAMI 
100 1 |a Herman, Gabor T. 
245 1 0 |a Enumerability, Decidability, Computability  |h [electronic resource] :  |b An Introduction to the Theory of Recursive Functions. 
260 |a Berlin, Heidelberg :  |b Springer Berlin / Heidelberg,  |c 2013. 
300 |a 1 online resource (255 p.). 
490 1 |a Grundlehren der Mathematischen Wissenschaften Ser. ;  |v v.127 
500 |a Description based upon print version of record. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Mathematics. 
650 6 |a Mathématiques. 
650 7 |a Mathematics  |2 fast 
700 1 |a Hermes, Hans. 
700 1 |a Plassmann, O. 
758 |i has work:  |a Enumerability · Decidability Computability (Text)  |1 https://id.oclc.org/worldcat/entity/E39PD3DhpDJp8qbW3MPC6MYvwP  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Herman, Gabor T.  |t Enumerability, Decidability, Computability  |d Berlin, Heidelberg : Springer Berlin / Heidelberg,c2013 
830 0 |a Grundlehren der Mathematischen Wissenschaften Ser. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=6555597  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH29634825 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL6555597 
994 |a 92  |b IZTAP