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.
Automorphisms of the lattice of recursively enumerable sets / Peter Cholak
| Automorphisms of the lattice of recursively enumerable sets / Peter Cholak |
| Autore | Cholak, Peter |
| Pubbl/distr/stampa | Providence, : American mathematical society, 1995 |
| Descrizione fisica | VII, 151 p. ; 26 cm. |
| Soggetto topico | 03D25 - Recursively (computably) enumerable sets and degrees [MSC 2020] |
| ISBN | 08-218-2601-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0054702 |
Cholak, Peter
|
||
| Providence, : American mathematical society, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Automorphisms of the lattice of recursively enumerable sets / Peter Cholak
| Automorphisms of the lattice of recursively enumerable sets / Peter Cholak |
| Autore | Cholak, Peter |
| Pubbl/distr/stampa | Providence, : American mathematical society, 1995 |
| Descrizione fisica | VII, 151 p. ; 26 cm |
| Soggetto topico | 03D25 - Recursively (computably) enumerable sets and degrees [MSC 2020] |
| ISBN | 08-218-2601-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0054702 |
|
Cholak, Peter
|
||
| Providence, : American mathematical society, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Automorphisms of the lattice of recursively enumerable sets / Peter Cholak
| Automorphisms of the lattice of recursively enumerable sets / Peter Cholak |
| Autore | Cholak, Peter |
| Pubbl/distr/stampa | Providence, : American mathematical society, 1995 |
| Descrizione fisica | VII, 151 p. ; 26 cm |
| Soggetto topico | 03D25 - Recursively (computably) enumerable sets and degrees [MSC 2020] |
| ISBN | 08-218-2601-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00054702 |
|
Cholak, Peter
|
||
| Providence, : American mathematical society, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications, june 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak ... [et al.]
| Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications, june 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak ... [et al.] |
| Autore | Proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications : 1999 |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 2000 |
| Descrizione fisica | XVI, 320 p. ; 26 cm. |
| Soggetto topico | 03Dxx - Computability and recursion theory [MSC 2020] |
| ISBN | 978-08-218-1922-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0055109 |
|
Proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications : 1999
|
||
| Providence, : American Mathematical Society, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications, june 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak ... [et al.]
| Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications, june 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak ... [et al.] |
| Autore | Proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications : 1999 |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 2000 |
| Descrizione fisica | XVI, 320 p. ; 26 cm |
| Soggetto topico | 03Dxx - Computability and recursion theory [MSC 2020] |
| ISBN | 978-08-218-1922-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0055109 |
|
Proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications : 1999
|
||
| Providence, : American Mathematical Society, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications, june 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak ... [et al.]
| Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications, june 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak ... [et al.] |
| Autore | Proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications : 1999 |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 2000 |
| Descrizione fisica | XVI, 320 p. ; 26 cm |
| Soggetto topico | 03Dxx - Computability and recursion theory [MSC 2020] |
| ISBN | 978-08-218-1922-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00055109 |
|
Proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications : 1999
|
||
| Providence, : American Mathematical Society, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Notre Dame lectures / edited by Peter Cholak
| The Notre Dame lectures / edited by Peter Cholak |
| Pubbl/distr/stampa | Wellesley, : Peters |
| Descrizione fisica | VII, 185 p. ; 23 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
| ISBN | 978-15-688-1249-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0066571 |
| Wellesley, : Peters | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Notre Dame lectures / edited by Peter Cholak
| The Notre Dame lectures / edited by Peter Cholak |
| Pubbl/distr/stampa | Wellesley, : A. K. Peters ; Urbana, : Association for Symbolic Logic, 2005 |
| Descrizione fisica | VII, 185 p. ; 23 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
| ISBN | 978-15-688-1249-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0066571 |
| Wellesley, : A. K. Peters ; Urbana, : Association for Symbolic Logic, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Notre Dame lectures / edited by Peter Cholak
| The Notre Dame lectures / edited by Peter Cholak |
| Pubbl/distr/stampa | Wellesley, : A. K. Peters ; Urbana, : Association for Symbolic Logic, 2005 |
| Descrizione fisica | VII, 185 p. ; 23 cm |
| Soggetto topico |
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 978-15-688-1249-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00066571 |
| Wellesley, : A. K. Peters ; Urbana, : Association for Symbolic Logic, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
