Vai al contenuto principale della pagina

Techniques of admissible recursion theory [e-book] / by Chi-Tat Chong



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Chong, Chi-Tat Visualizza persona
Titolo: Techniques of admissible recursion theory [e-book] / by Chi-Tat Chong Visualizza cluster
Pubblicazione: Berlin : Springer, 1984
Descrizione fisica: 1 online resource (ix, 214 p.)
Disciplina: 511.3
Soggetto topico: Mathematics
Logic, Symbolic and mathematical
Classificazione: AMS 03D60
AMS 03D25
ISBN: 9783540391210
Formato: Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 991002203189707536
Lo trovi qui: Univ. del Salento
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/BFb0099164
Opac: Controlla la disponibilità qui
Serie: Lecture Notes in Mathematics, 0075-8434 ; 1106
Fa parte di: Springer eBooks