Computable structures and the hyperarithmetical hierarchy / C. J. Ash, J. F. Knight
| Computable structures and the hyperarithmetical hierarchy / C. J. Ash, J. F. Knight |
| Autore | Ash, C. J. |
| Pubbl/distr/stampa | Amsterdam : Elsevier, c2000 |
| Descrizione fisica | xv, 346 p. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Knight, James Thomson |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Teoria delle numerazioni
Teoria dei modelli |
| ISBN | 0-444-50072-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001499670403321 |
Ash, C. J.
|
||
| Amsterdam : Elsevier, c2000 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computable structures and the hyperarithmetical hierarchy [e-book] / C. J. Ash, J. Knight
| Computable structures and the hyperarithmetical hierarchy [e-book] / C. J. Ash, J. Knight |
| Autore | Ash, C. J. |
| Pubbl/distr/stampa | Amsterdam ; New York : Elsevier, 2000 |
| Descrizione fisica | xv, 346 p. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Knight, Julia |
| Collana | Studies in logic and the foundations of mathematics ; 144 |
| Soggetto topico | Computable functions |
| ISBN |
9780444500724
0444500723 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003272759707536 |
Ash, C. J.
|
||
| Amsterdam ; New York : Elsevier, 2000 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||