1.

Record Nr.

UNISA990003223300203316

Autore

HINMAN, Peter G.

Titolo

Recursion theoretic hierarchies / Hinman Peter G.

Pubbl/distr/stampa

Berlin : Springer-Verlag, 1978

ISBN

3-540-07904-1

Descrizione fisica

XII, 480 p. ; 24 cm

Collana

Omega perspective in mathematical logic

Disciplina

511.3

Soggetti

Logica matematica

Collocazione

511.3 HIN

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia