1.

Record Nr.

UNINA990000991660403321

Titolo

Generalized recursion theory : proceedings of the 1972 Oslo Symposium / edited by J.E. Fenstad and P.G. Hinman

Pubbl/distr/stampa

Amsterdam [etc.] : North-Holland, 1974

ISBN

0-7204-22760

Descrizione fisica

VIII, 456 p. ; 23 cm

Collana

Studies in logic and the foundations of mathematics ; 79

Disciplina

160

Locazione

FI1

Collocazione

7-150

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia