Scheda: 1/1 | |
---|---|
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 |