| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNICAMPANIAVAN00287061 |
|
|
Titolo |
Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G. H. Müller, G. E. Sacks (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, : Springer-Verlag, 1990 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
03Dxx - Computability and recursion theory [MSC 2020] |
03Exx - Set theory [MSC 2020] |
68Qxx - Theory of computing [MSC 2020] |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |