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