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 |
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 | ||
|
Recursion theory week [e-book] : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by Heinz-Dieter Ebbinghaus, Gert H. Muller, Gerald E. Sacks |
Pubbl/distr/stampa | Berlin : Springer, 1985 |
Descrizione fisica | 1 online resource (418 p.) |
Disciplina | 511.3 |
Altri autori (Persone) |
Ebbinghaus, Heinz-Dieter
Muller, Gert H. Sacks, Gerald E. |
Collana | Lecture Notes in Mathematics, 0075-8434 ; 1141 |
Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
ISBN | 9783540395966 |
Classificazione |
AMS 03D
AMS 03E |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991002211529707536 |
Berlin : Springer, 1985 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks |
Pubbl/distr/stampa | Berlin, : Springer, 1985 |
Descrizione fisica | xii, 420 p. ; 24 cm |
Soggetto non controllato |
Arithmetics
Computability theory Functions Ordinals Recursion Set Theory Turing degree |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0263606 |
Berlin, : Springer, 1985 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|