Vai al contenuto principale della pagina
Autore: | Cutland, Nigel |
Titolo: | Computability : an introduction to recursive function theory / Nigel Cutland |
Pubblicazione: | Cambridge, : Cambridge university, 1980 |
Descrizione fisica: | XI, 251 p. : ill. ; 24 cm. |
Soggetto topico: | 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] |
Titolo autorizzato: | Computability |
ISBN: | 05-212-9465-7 |
978-05-212-9465-2 | |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | SUN0054259 |
Lo trovi qui: | Univ. Vanvitelli |
Localizzazioni e accesso elettronico | https://books.google.it/books?id=wAstOUE36kcC&printsec=frontcover&dq=Computability+:+an+introduction+to+recursive+function+theory&hl=it&sa=X&ved=0ahUKEwjbhOvzwbPWAhWFuBQKHQ6oDuQQ6AEIKTAA#v=onepage&q&f=false |
Opac: | Controlla la disponibilità qui |