Cabal seminar 76-77 : proceedings, Caltech-UCLA Logic seminar 1976-77 / edited by A. S. Kechris and Y. N. Moschovakis
| Cabal seminar 76-77 : proceedings, Caltech-UCLA Logic seminar 1976-77 / edited by A. S. Kechris and Y. N. Moschovakis |
| Autore | Kechris, Alexander S. |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1978 |
| Descrizione fisica | 282 p. ; 24 cm |
| Disciplina | 511.322 |
| Altri autori (Persone) | Moschovakis, Yiannis N. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 689 |
| Soggetto topico |
Recursion theory - Congresses
Set theory - Congresses |
| ISBN | 354009086X |
| Classificazione |
AMS 03D
AMS 03E AMS 04-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000726059707536 |
Kechris, Alexander S.
|
||
| Berlin ; New York : Springer-Verlag, 1978 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Cabal seminar 77-79 : proceedings, Caltech-UCLA Logic seminar 1977-79 / edited by A. S. Kechris, D. A. Martin and Y. N. Moschovakis
| Cabal seminar 77-79 : proceedings, Caltech-UCLA Logic seminar 1977-79 / edited by A. S. Kechris, D. A. Martin and Y. N. Moschovakis |
| Autore | Kechris, Alexander S. |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1981 |
| Descrizione fisica | 274 p. ; 24 cm. |
| Disciplina | 511.322 |
| Altri autori (Persone) |
Martin, Donald D.
Moschovakis, Yiannis N. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 839 |
| Soggetto topico |
Recursion theory - Congresses
Set theory - Congresses |
| ISBN | 3540102884 |
| Classificazione |
AMS 03D
AMS 03E AMS 04-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000726139707536 |
Kechris, Alexander S.
|
||
| Berlin ; New York : Springer-Verlag, 1981 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Cabal seminar 79-81 : proceedings, Caltech-UCLA Logic seminar 1979-81 / edited by A. S. Kechris, D. A. Martin and Y. N. Moschovakis
| Cabal seminar 79-81 : proceedings, Caltech-UCLA Logic seminar 1979-81 / edited by A. S. Kechris, D. A. Martin and Y. N. Moschovakis |
| Autore | Kechris, Alexander S. |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1983 |
| Descrizione fisica | 284 p. ; 24 cm. |
| Disciplina | 511.322 |
| Altri autori (Persone) |
Martin, Donald D.
Moschovakis, Yiannis N. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 1019 |
| Soggetto topico |
Recursion theory - Congresses
Set theory - Congresses |
| ISBN | 3540126880 |
| Classificazione |
AMS 03D
AMS 03E AMS 04-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000726229707536 |
Kechris, Alexander S.
|
||
| Berlin ; New York : Springer-Verlag, 1983 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Generalized recursion theory : proceedings of the 1972 Oslo symposium / ed. by J. E. Fenstad and P. G. Hinman
| Generalized recursion theory : proceedings of the 1972 Oslo symposium / ed. by J. E. Fenstad and P. G. Hinman |
| Autore | Fenstad, Jens Erik |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1974 |
| Descrizione fisica | viii, 456 p. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Hinman, Peter G. |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 79 |
| Soggetto topico | Recursion theory - Congresses |
| ISBN | 044410545X |
| Classificazione |
AMS 03-XX
AMS 03C57 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000932469707536 |
Fenstad, Jens Erik
|
||
| Amsterdam : North-Holland, 1974 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake, S. S. Wainer
| Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake, S. S. Wainer |
| Autore | Drake, F. R. |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1980 |
| Descrizione fisica | 319 p. ; 23 cm |
| Disciplina | 511.30 |
| Altri autori (Persone) | Wainer, S. S. |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 45 |
| Soggetto topico |
Mathematical logic and foundations - Congresses
Recursion theory - Congresses |
| ISBN | 052123543X |
| Classificazione |
AMS 03-06
AMS 03-XX AMS 03D QA9.615 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001291209707536 |
Drake, F. R.
|
||
| Cambridge : Cambridge University Press, 1980 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / eds. H.-D. Ebbinghaus, G. H. Müller, and G. E. Sacks
| Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / eds. H.-D. Ebbinghaus, G. H. Müller, and G. E. Sacks |
| Autore | Ebbinghaus, Heinz-Dieter |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1985 |
| Descrizione fisica | ix, 418 p. ; 25 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Muller, Gert H.
Sacks, Gerald E. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 1141 |
| Soggetto topico | Recursion theory - Congresses |
| ISBN | 3540156739 |
| Classificazione |
AMS 03D
AMS 03E |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001291269707536 |
Ebbinghaus, Heinz-Dieter
|
||
| Berlin ; New York : Springer-Verlag, 1985 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||