Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Muller and G.E. Sacks
| Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Muller and G.E. Sacks |
| Pubbl/distr/stampa | Berlin [etc.] : Springer Verlag, copyr. 1985 |
| Descrizione fisica | IX, 418 p. : ill. ; 25 cm |
| Disciplina | 51135 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato |
congressi - oberwolfach - 1984
teoria degli insiemi - congressi - 1984 teoria della ricorrenza - congressi - 19 |
| ISBN | 3-540-15673-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000117430203316 |
| Berlin [etc.] : Springer Verlag, copyr. 1985 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Muller and G.E. Sacks
| Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Muller and G.E. Sacks |
| Pubbl/distr/stampa | Berlin [etc.] : Springer Verlag, copyr. 1985 |
| Descrizione fisica | IX, 418 p. : ill. ; 25 cm |
| Disciplina | 51135 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato |
congressi - oberwolfach - 1984
teoria degli insiemi - congressi - 1984 teoria della ricorrenza - congressi - 1984 |
| ISBN | 3-540-15673-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000215620203316 |
| Berlin [etc.] : Springer Verlag, copyr. 1985 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Techniques of admissible recursiontheory / C.T. Chong
| Techniques of admissible recursiontheory / C.T. Chong |
| Autore | Chong, Chi-Tat |
| Pubbl/distr/stampa | Berlin [etc.] : Springer Verlag, copyr. 1984 |
| Descrizione fisica | 214 p. :ill. ; 25 cm |
| Disciplina | 51135 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato | teoria della ricorrenza |
| ISBN | 3-540-13902-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000214910203316 |
Chong, Chi-Tat
|
||
| Berlin [etc.] : Springer Verlag, copyr. 1984 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Techniques of admissible recursiontheory / C.T. Chong
| Techniques of admissible recursiontheory / C.T. Chong |
| Autore | Chong, Chi-Tat |
| Pubbl/distr/stampa | Berlin [etc.] : Springer Verlag, copyr. 1984 |
| Descrizione fisica | 214 p. :ill. ; 25 cm |
| Disciplina | 51135 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato | teoria della ricorrenza |
| ISBN | 3-540-13902-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000117380203316 |
Chong, Chi-Tat
|
||
| Berlin [etc.] : Springer Verlag, copyr. 1984 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||