Enumerability - Decidability Computability Computability. An introduction to the theory of recursive funtions /

Guardado en:
Detalles Bibliográficos
Autor principal: Hermes, Hans
Formato: Libro
Lenguaje:Indeterminado
Publicado: Berlín : Springer, 1969
Edición:2nd rev. ed..
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 00642cam a22002057a 4500
001 005088
003 armpun
005 20130604125442.0
008 100819s1969####xx#a##########000#0#und#d
040 |a armpun  |c armpun 
080 |a 51 
100 1 0 |a Hermes, Hans 
245 1 0 |a Enumerability - Decidability Computability Computability. An introduction to the theory of recursive funtions /  |c Hans Hermes 
250 |a 2nd rev. ed.. 
260 |a Berlín :  |b Springer,  |c 1969 
300 |a 245 p. -- Die Grundlehren der mathematischen Wissenschaften ; 127) 
650 7 |a matematicas  |2 LEMB 
942 |c LB  |2 cdu 
945 |a Lryt  |d 2010-08-19 
999 |c 4927  |d 197318