Scheda: 38/2083 |
Livello bibliografico | Monografia | |
Tipo documento | Testo a stampa | |
Autore principale | Rogers, Hartley | |
Titolo | Teoria delle funzioni ricorsive e della computabilita effettiva / Hartley Rogers, jr | |
Pubblicazione | Milano : Tecniche nuove, \1992! |
|
Descrizione fisica | XVI, 550 p. ; 24 cm | |
Collezione | Università + ricerca | |
Titolo uniforme | ||
Numeri |
·
[ISBN] 8870814653
|
|
Nomi |
·
[Autore] Rogers, Hartley
|
|
Soggetti | ||
Classificazione Dewey |
·
511.322 (21.) LOGICA SIMBOLICA (LOGICA MATEMATICA). TEORIA DEGLI INSIEMI
|
|
Lingua di pubblicazione | ITALIANO | |
Paese di pubblicazione | ITALIA | |
Provenienza | IT - IT-000000 | |
Codice identificativo | LO10100590 |
Biblioteca | Collocazione | Inventario | Numero dei volumi o consistenze dei periodici | Tipo di fruizione |
---|---|---|---|---|
Biblioteca regionale universitaria di Messina | O M B 3251 | 000263409 / 1 v. | 1 v. | consultazione,prestito,fotoriproduzione |