General Recursion Theory: An Axiomatic Approach |
Autore | Fenstad Jens Erik |
Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1980 |
Disciplina | 511/.3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910482880203321 |
Fenstad Jens Erik | ||
[Place of publication not identified], : Springer, 1980 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
General Recursion Theory: An Axiomatic Approach |
Autore | Fenstad Jens Erik |
Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1980 |
Disciplina | 511/.3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996214907303316 |
Fenstad Jens Erik | ||
[Place of publication not identified], : Springer, 1980 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|