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)
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui