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 |
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 | ||
|