Catalogo delle Biblioteca Universitaria di Pisa Ricerca: Soggetti = Logica matematica Scheda: 7/13 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Bellotti, Luca <1969- > Titolo: Computabilita : lambda-definibilita, ricorsivita, indecidibilita / Luca Bellotti, Enrico Moriconi, Laura Tesconi Editore,distributore, ecc.: Roma : Carocci, 2001 Descrizione fisica: 273 p. ; 22 cm. Lingua di pubblicazione: ITALIANO Paese di pubblicazione: ITALIA ISBN: 8843019589 Soggetti: Filosofia e logica matematica Nomi: [Autore] Bellotti, Luca <1969- > [Autore] Moriconi, Enrico <1950- > [Autore] Tesconi, Laura Identificativo record: TSA0325226 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - 321360 - R1NUM. 321360 - R1 0008090135 VMD COMPUTABilita" - A - 20060801 - 20060801