|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991001291349707536 |
|
|
Autore |
Dekker, J. C. E. |
|
|
Titolo |
Recursive function theory / ed. J. C. E. Dekker |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, R. I. : American Mathematical Society, 1962 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[3rd print. with correct. 1979] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Proceedings of symposia in pure mathematics, 0082-0717 ; 5 |
|
|
|
|
|
|
Classificazione |
|
AMS 03-06 |
AMS 03D |
AMS 03D20 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Recursion theory |
Recursive functions |
Relations |
Subrecursive hierarchies |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Conference/meeting New York 1961 |
|
|
|
|
|