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)
Computations in Higher Types / Johan Moldestad
Computations in Higher Types / Johan Moldestad
Autore Moldestad, Johan
Pubbl/distr/stampa Berlin, : Springer, 1977
Descrizione fisica viii, 208 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]
03D65 - Higher-type and set recursion theory [MSC 2020]
Soggetto non controllato Calculation
Computability theory
Computation
Objects
Recursion
Recursive functions
Types
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0260332
Moldestad, Johan  
Berlin, : Springer, 1977
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Recursion on the Countable Functionals / Dag Normann
Recursion on the Countable Functionals / Dag Normann
Autore Normann, Dag
Pubbl/distr/stampa Berlin, : Springer, 1980
Descrizione fisica x, 198 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03D30 - Other degrees and reducibilities in computability and recursion theory [MSC 2020]
03D65 - Higher-type and set recursion theory [MSC 2020]
03D55 - Hierarchies of computability and definability [MSC 2020]
Soggetto non controllato Computability
Functional
Functions
Maxima
Maximum
Recursion
Recursive function
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0261658
Normann, Dag  
Berlin, : Springer, 1980
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui