top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Pubbl/distr/stampa Cambridge : Cambridge University Press, c1996
Descrizione fisica vii, 347 p. ; 23 cm
Disciplina 511.35
Collana London Mathematical Society lecture note series
Soggetto non controllato Teoria della ricorsivita - Congressi
ISBN 0-521-55736-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001362610403321
Cambridge : Cambridge University Press, c1996
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Pubbl/distr/stampa Cambridge, : Cambridge university, 1996
Descrizione fisica VII, 347 p. ; 24 cm.
Soggetto topico 03D30 - Other degrees and reducibilities in computability and recursion theory [MSC 2020]
03D25 - Recursively (computably) enumerable sets and degrees [MSC 2020]
ISBN 05-215-5736-4
978-05-215-5736-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0054913
Cambridge, : Cambridge university, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Pubbl/distr/stampa Cambridge, : Cambridge university, 1996
Descrizione fisica VII, 347 p. ; 24 cm
Soggetto topico 03D30 - Other degrees and reducibilities in computability and recursion theory [MSC 2020]
03D25 - Recursively (computably) enumerable sets and degrees [MSC 2020]
ISBN 05-215-5736-4
978-05-215-5736-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0054913
Cambridge, : Cambridge university, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Pubbl/distr/stampa Cambridge, : Cambridge university, 1996
Descrizione fisica VII, 347 p. ; 24 cm
Soggetto topico 03D25 - Recursively (computably) enumerable sets and degrees [MSC 2020]
03D30 - Other degrees and reducibilities in computability and recursion theory [MSC 2020]
ISBN 05-215-5736-4
978-05-215-5736-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00054913
Cambridge, : Cambridge university, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F.R. Drake and S.S. Wainer
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F.R. Drake and S.S. Wainer
Autore Logic colloquium : <1979
Pubbl/distr/stampa Cambridge : Cambridge University Press, 1980
Descrizione fisica 319 p. ; 23 cm
Disciplina 160
Collana London Mathematical Society lecture note series
Soggetto non controllato Logica
Ricorsività
ISBN 0-521-23543-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000985520403321
Logic colloquium : <1979  
Cambridge : Cambridge University Press, 1980
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui