Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi
| Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi |
| Autore | ODIFREDDI, Piergiorgio |
| Pubbl/distr/stampa | Amsterdam : North-Holland, copyr. 1989 |
| Disciplina | 511.3 |
| Soggetto non controllato | funzioni ricorsive |
| ISBN | 0-444-87295-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000143180203316 |
ODIFREDDI, Piergiorgio
|
||
| Amsterdam : North-Holland, copyr. 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory of recursive functions and affective computability / Hartley, Rogers
| Theory of recursive functions and affective computability / Hartley, Rogers |
| Autore | Rogers, Hartley, , jr. |
| Pubbl/distr/stampa | Cambridge (Mass.) : MIT Press, copyr. 1987 (stampa 1992) |
| Disciplina | 511.3 |
| Soggetto non controllato |
funzioni computabili
funzioni ricorsive |
| ISBN | 0-262-68052-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000175870203316 |
|
Rogers, Hartley, , jr.
|
||
| Cambridge (Mass.) : MIT Press, copyr. 1987 (stampa 1992) | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||