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.
Computability : computable functions, logic and the foundations of mathematics / Richard L. Epstein, Walter A. Carnielli
| Computability : computable functions, logic and the foundations of mathematics / Richard L. Epstein, Walter A. Carnielli |
| Autore | Epstein, Richard L. |
| Pubbl/distr/stampa | Pacific Grove (Calif.) : Wadsworth& Brooks, copyr. 1989 |
| Disciplina | 511.3 |
| Soggetto non controllato |
funzioni computabili
logica matematica logica simbolica |
| ISBN | 0-534-10356-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000143350203316 |
Epstein, Richard L.
|
||
| Pacific Grove (Calif.) : Wadsworth& Brooks, 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 | ||
| ||