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)
Techniques of admissible recursion theory / C.T. Chong
Techniques of admissible recursion theory / C.T. Chong
Autore Chong, Chi-Tat
Pubbl/distr/stampa Berlin [etc.] : Springer, 1984
Descrizione fisica VII, 214 p. ; 25 cm.
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Logica matematica
ISBN 3-540-13902-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000012897
Chong, Chi-Tat  
Berlin [etc.] : Springer, 1984
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Techniques of Admissible Recursion Theory / Chi-Tat Chong
Techniques of Admissible Recursion Theory / Chi-Tat Chong
Autore Chong, Chi-Tat
Pubbl/distr/stampa Berlin, : Springer, 1984
Descrizione fisica xii, 220 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020]
Soggetto non controllato Computability theory
Curves
Finite
Models
Recursion
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0263415
Chong, Chi-Tat  
Berlin, : Springer, 1984
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Techniques of Admissible Recursion Theory / Chi-Tat Chong
Techniques of Admissible Recursion Theory / Chi-Tat Chong
Autore Chong, Chi-Tat
Pubbl/distr/stampa Berlin, : Springer, 1984
Descrizione fisica xii, 220 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020]
Soggetto non controllato Computability theory
Curves
Finite
Models
Recursion
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00263415
Chong, Chi-Tat  
Berlin, : Springer, 1984
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Techniques of admissible recursion theory [e-book] / by Chi-Tat Chong
Techniques of admissible recursion theory [e-book] / by Chi-Tat Chong
Autore Chong, Chi-Tat
Pubbl/distr/stampa Berlin : Springer, 1984
Descrizione fisica 1 online resource (ix, 214 p.)
Disciplina 511.3
Collana Lecture Notes in Mathematics, 0075-8434 ; 1106
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 9783540391210
Classificazione AMS 03D60
AMS 03D25
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002203189707536
Chong, Chi-Tat  
Berlin : Springer, 1984
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Techniques of admissible recursion theory / C. T. Chong
Techniques of admissible recursion theory / C. T. Chong
Autore Chong, Chi-Tat
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1984
Descrizione fisica vii, 214 p. ; 25 cm.
Disciplina 511.30
Collana Lecture notes in mathematics, 0075-8434 ; 1106
Soggetto topico Recursion theory
ISBN 3540139028
Classificazione AMS 03D25
AMS 03D60
QA3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001413089707536
Chong, Chi-Tat  
Berlin ; New York : Springer-Verlag, 1984
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Techniques of admissible recursiontheory / C.T. Chong
Techniques of admissible recursiontheory / C.T. Chong
Autore Chong, Chi-Tat
Pubbl/distr/stampa Berlin [etc.] : Springer Verlag, copyr. 1984
Descrizione fisica 214 p. :ill. ; 25 cm
Disciplina 51135
Collana Lecture notes in mathematics
Soggetto non controllato teoria della ricorrenza
ISBN 3-540-13902-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000214910203316
Chong, Chi-Tat  
Berlin [etc.] : Springer Verlag, copyr. 1984
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Techniques of admissible recursiontheory / C.T. Chong
Techniques of admissible recursiontheory / C.T. Chong
Autore Chong, Chi-Tat
Pubbl/distr/stampa Berlin [etc.] : Springer Verlag, copyr. 1984
Descrizione fisica 214 p. :ill. ; 25 cm
Disciplina 51135
Collana Lecture notes in mathematics
Soggetto non controllato teoria della ricorrenza
ISBN 3-540-13902-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000117380203316
Chong, Chi-Tat  
Berlin [etc.] : Springer Verlag, copyr. 1984
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui