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 : local and global theory / Manuel Lerman
Degrees of Unsolvability : local and global theory / Manuel Lerman
Autore Lerman, Manuel
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1983
Descrizione fisica XIII, 307 p. : ill. ; 25 cm
Disciplina 160
Collana Perspectives in mathematical logic
Soggetto non controllato Logica
Ricorsività
ISBN 3-540-12155-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000457790403321
Lerman, Manuel
Berlin [etc.] : Springer-Verlag, 1983
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Degrees of unsolvability : local and global theory / Manuel Lerman
Degrees of unsolvability : local and global theory / Manuel Lerman
Autore Lerman, Manuel
Pubbl/distr/stampa Berlin - New York : Springer-Verlag, 1983
Descrizione fisica xiii, 307 p. : ill. ; 25 cm.
Disciplina 511.3
Collana Perspectives in mathematical logic
Soggetto topico Unsolvability
ISBN 3540121552
Classificazione AMS 03D25
AMS 03D30
AMS 03D35
AMS 03D55
QA9.63.L47
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000808509707536
Lerman, Manuel  
Berlin - New York : Springer-Verlag, 1983
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logic Year 1979-80 : The University of Connecticut, USA / Edited by M. Lerman, J.H. Schmerl, and R.I. Soare
Logic Year 1979-80 : The University of Connecticut, USA / Edited by M. Lerman, J.H. Schmerl, and R.I. Soare
Autore Lerman, Manuel
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1981
Descrizione fisica VI, 326 p. ; 24 cm
Disciplina 160
Collana Lecture Notes in Mathematics
Soggetto non controllato Logica
Ricorsività
ISBN 3-540-10708-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001022990403321
Lerman, Manuel  
Berlin [etc.] : Springer-Verlag, 1981
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Logic year 1979-80 : the University of Connecticut, USA / edited by M. Lerman, J. H. Schmerl, and R. I. Soare
Logic year 1979-80 : the University of Connecticut, USA / edited by M. Lerman, J. H. Schmerl, and R. I. Soare
Autore Lerman, Manuel
Pubbl/distr/stampa Berlin : Springer-Verlag, 1981
Descrizione fisica vi, 326 p. : ill. ; 24 cm.
Disciplina 510
511.3
Altri autori (Persone) Schmerl, James H.
Soare, Robert Irving
Collana Lecture notes in mathematics, 0075-8434 ; 859
Soggetto topico Symbolic logic - Congresses
ISBN 0540107088
Classificazione AMS 03-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001095599707536
Lerman, Manuel  
Berlin : Springer-Verlag, 1981
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logic Year 1979-80 : The University of Connecticut, USA / edited by M. Lerman, J.H. Schmerl, R.I. Soare
Logic Year 1979-80 : The University of Connecticut, USA / edited by M. Lerman, J.H. Schmerl, R.I. Soare
Pubbl/distr/stampa Berlin, : Springer, 1981
Descrizione fisica x, 330 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
Soggetto non controllato Arithmetic
Computability theory
Logic
Mathematical logic
Morphism
Recursion
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0261825
Berlin, : Springer, 1981
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic year 1979–80 [e-book] : the university of Connecticut, USA / edited by Manuel Lerman, James H. Schmerl, Robert I. Soare
Logic year 1979–80 [e-book] : the university of Connecticut, USA / edited by Manuel Lerman, James H. Schmerl, Robert I. Soare
Pubbl/distr/stampa Berlin : Springer, 1981
Descrizione fisica 1 online resource (326 p.)
Disciplina 511.3
Altri autori (Persone) Lerman, Manuel
Schmerl, James H.
Soare, Robert I.
Collana Lecture Notes in Mathematics, 0075-8434 ; 859
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 9783540386735
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002194219707536
Berlin : Springer, 1981
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui