1.

Record Nr.

UNIBAS000012897

Autore

Chong, Chi-Tat

Titolo

Techniques of admissible recursion theory / C.T. Chong

Pubbl/distr/stampa

Berlin [etc.] : Springer, 1984

ISBN

3-540-13902-8

Descrizione fisica

VII, 214 p. ; 25 cm.

Collana

Lecture notes in mathematics ; 1106

Disciplina

511.3

Soggetti

Logica matematica

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia