Vai al contenuto principale della pagina
Autore: |
Downey R. G (Rod G.)
![]() |
Titolo: |
Minimal weak truth table degrees and computably enumerable Turing degrees / / Rodney G. Downey, Keng Meng Ng, Reed Solomon
![]() |
Pubblicazione: | Providence, Rhode Island : , : American Mathematical Society, , 2020 |
Descrizione fisica: | 1 online resource (104 pages) |
Disciplina: | 511.3/5 |
Soggetto topico: | Unsolvability (Mathematical logic) |
Recursively enumerable sets | |
Computable functions | |
Classificazione: | 03D2503D2803D30 |
Persona (resp. second.): | NgKeng Meng |
SolomonReed | |
Nota di bibliografia: | Includes bibliographical references. |
Nota di contenuto: | Informal construction -- Formal construction -- Limiting results. |
Titolo autorizzato: | Minimal weak truth table degrees and computably enumerable Turing degrees ![]() |
ISBN: | 1-4704-6136-6 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910812917203321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |