Vai al contenuto principale della pagina
| Autore: |
Epstein, Richard L.
|
| Titolo: |
Degrees of Unsolvability : Structure and Theory / Richard L. Epstein
|
| Pubblicazione: | Berlin, : Springer, 1979 |
| Descrizione fisica: | xiv, 246 p. ; 24 cm |
| Soggetto topico: | 03-XX - Mathematical logic and foundations [MSC 2020] |
| 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] | |
| 03D30 - Other degrees and reducibilities in computability and recursion theory [MSC 2020] | |
| 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] | |
| Soggetto non controllato: | Decidability |
| Degree of insolubility | |
| Finite | |
| Homogenization | |
| Lattices | |
| Operator | |
| Turing degree | |
| Titolo autorizzato: | Degrees of unsolvability ![]() |
| Formato: | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | VAN0261121 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | https://doi.org/10.1007/BFb0067135 |
| Opac: | Controlla la disponibilità qui |