| Scheda: 7/13 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Bellotti, Luca <1969- > [ scheda di autorità ] |
| Titolo | Computabilita : lambda-definibilita, ricorsivita, indecidibilita / Luca Bellotti, Enrico Moriconi, Laura Tesconi |
| Pubblicazione | Roma : Carocci, 2001 |
| Descrizione fisica | 273 p. ; 22 cm. |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| ISBN | 8843019589 |
| Soggetti | Filosofia e logica matematica (Soggettario di Firenze) |
| Nomi | [Autore] Bellotti, Luca <1969- > [
scheda di autorità
]
[Autore] Moriconi, Enrico <1950- > [ scheda di autorità ] [Autore] Tesconi, Laura [ scheda di autorità ] |
| Identificativo record | TSA0325226 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | NUM. 321360 | 000809013 | COMPUTABilita" | consultazione, prestito, fotoriproduzione Servizi |
Rimuovi da preferiti
Aggiungi a preferiti