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.
Degrees of Unsolvability / by Sacks Gerald
| Degrees of Unsolvability / by Sacks Gerald |
| Autore | Sacks, Gerald E. |
| Pubbl/distr/stampa | Princeton [N.J.] : Princeton University Press, 1966 |
| Descrizione fisica | Annals of Mathematics Studies |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001276880403321 |
Sacks, Gerald E.
|
||
| Princeton [N.J.] : Princeton University Press, 1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Degrees of Unsolvability / by Gerald E. Sacks
| Degrees of Unsolvability / by Gerald E. Sacks |
| Autore | Sacks, Gerald E. |
| Pubbl/distr/stampa | Princeton [N.J.] : Princeton University Press, 1963 |
| Descrizione fisica | ix, 174 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Annals of mathematics studies |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001056020403321 |
|
Sacks, Gerald E.
|
||
| Princeton [N.J.] : Princeton University Press, 1963 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Degrees of unsolvability / Gerald Sacks
| Degrees of unsolvability / Gerald Sacks |
| Autore | Sacks, Gerald E. |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | Princeton, N. J. : Princeton Univ. Press, 1966 |
| Descrizione fisica | ix, 175 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Annals of mathematics studies ; 55 |
| Soggetto topico | Recursion theory |
| Classificazione | AMS 03D |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000808569707536 |
|
Sacks, Gerald E.
|
||
| Princeton, N. J. : Princeton Univ. Press, 1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Generalized recursion theory 2. : proceedings of the 1977 Oslo Symposium / edited by J.E. Fenstad, R.O. Gandy, G.E. Sacks
| Generalized recursion theory 2. : proceedings of the 1977 Oslo Symposium / edited by J.E. Fenstad, R.O. Gandy, G.E. Sacks |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1978 |
| Descrizione fisica | vii, 417 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-444-85163-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000991670403321 |
| Amsterdam [etc.] : North-Holland, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Higher recursion theory / Gerald E. Sacks
| Higher recursion theory / Gerald E. Sacks |
| Autore | Sacks, Gerald E. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1990 |
| Descrizione fisica | XV, 344 p. ; 25 cm |
| Disciplina |
160
511.388 |
| Collana | Perspectives in mathematical logic |
| Soggetto non controllato |
Logica
Ricorsività Teoria della ricorsività |
| ISBN | 3-540-19305-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001105440403321 |
|
Sacks, Gerald E.
|
||
| Berlin [etc.] : Springer-Verlag, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Higher recursion theory / Gerald E. Sacks
| Higher recursion theory / Gerald E. Sacks |
| Autore | Sacks, Gerald E. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, c1990 |
| Descrizione fisica | XV, 344 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Perspectives in Mathematical Logic |
| Soggetto topico | Logica matematica |
| ISBN | 0-387-19305-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000011160 |
|
Sacks, Gerald E.
|
||
| Berlin [etc.] : Springer, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Higher recursion theory / Gerald E. Sacks
| Higher recursion theory / Gerald E. Sacks |
| Autore | Sacks, Gerald E. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1990 |
| Descrizione fisica | xv, 344 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Perspectives in mathematical logic |
| Soggetto topico | Recursion theory |
| ISBN | 3540193057 |
| Classificazione |
AMS 03D
AMS 03D15 AMS 03D55 AMS 03D60 AMS 03D65 QA9.6.S23 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000978799707536 |
|
Sacks, Gerald E.
|
||
| Berlin : Springer-Verlag, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi
| Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi |
| Autore | Homer, Steven |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1990 |
| Descrizione fisica | 162 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Nerode, Anil
Platek, Richard A. Sacks, Gerald E. Scedrov, Andre Odifreddi, Piergiorgio |
| Collana | Lecture notes in mathematics, 0075-8434 ; 1429 |
| Soggetto topico |
Computer science - Congresses
Logic - Congresses |
| ISBN | 3540527346 |
| Classificazione |
AMS 03B20
AMS 03B40 AMS 03B70 AMS 03D15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001093939707536 |
|
Homer, Steven
|
||
| Berlin : Springer-Verlag, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical logic in the 20. century / Gerald E. Sacks
| Mathematical logic in the 20. century / Gerald E. Sacks |
| Autore | Sacks, Gerald E. |
| Pubbl/distr/stampa | Singapore, : Singapore University ; New Jersey [etc.], : World Scientific, 2003 |
| Descrizione fisica | XIII, 693 p. ; 26 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 98-10-24736-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0051701 |
|
Sacks, Gerald E.
|
||
| Singapore, : Singapore University ; New Jersey [etc.], : World Scientific, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical logic in the 20. century / Gerald E. Sacks
| Mathematical logic in the 20. century / Gerald E. Sacks |
| Autore | Sacks, Gerald E. |
| Pubbl/distr/stampa | Singapore, : Singapore University ; New Jersey [etc.], : World Scientific, 2003 |
| Descrizione fisica | XIII, 693 p. ; 26 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 98-10-24736-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00051701 |
|
Sacks, Gerald E.
|
||
| Singapore, : Singapore University ; New Jersey [etc.], : World Scientific, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
