Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Groups and model theory : in honor of Rüdiger Göbel's 70th birthday, May 30-June 3, 2011, Conference center "Die Wolfsburg," Mülheim an der Ruhr, Germany / Lutz Strüngmann ... [et al.], editors
| Groups and model theory : in honor of Rüdiger Göbel's 70th birthday, May 30-June 3, 2011, Conference center "Die Wolfsburg," Mülheim an der Ruhr, Germany / Lutz Strüngmann ... [et al.], editors |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, c2012 |
| Descrizione fisica | xvii, 316 p. : ill. ; 26 cm |
| Disciplina | 512.2 |
| Altri autori (Persone) | Strungmann, Lutzauthor |
| Collana | Contemporary mathematics, 0271-4132 ; 576 |
| Soggetto topico |
Group theory - Congresses
Model theory - Congresses |
| ISBN | 9780821869239 |
| Classificazione |
AMS 20A15
AMS 20F50 AMS 20P05 AMS 20K10 LC QA174.G754 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001897619707536 |
| Providence, R. I. : American Mathematical Society, c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie
| Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie |
| Autore | Pacholski, Leszek |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1980 |
| Descrizione fisica | vi, 410 p. : ill. ; 24 cm. |
| Disciplina | 510 |
| Altri autori (Persone) |
Wierzejewski, Jedrzej
Wilkie, Alec J. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 834 |
| Soggetto topico | Model theory - Congresses |
| ISBN | 3540102698 |
| Classificazione | AMS 03C |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001149469707536 |
Pacholski, Leszek
|
||
| Berlin : Springer-Verlag, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory of groups and automorphism groups : Blaubeuren, August 1995 / edited by David M. Evans
| Model theory of groups and automorphism groups : Blaubeuren, August 1995 / edited by David M. Evans |
| Autore | Evans, David M. |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 1997 |
| Descrizione fisica | xvi, 212 p. ; 23 cm |
| Disciplina | 512.2 |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 244 |
| Soggetto topico |
Group theory - Congresses
Model theory - Congresses |
| ISBN | 052158955X |
| Classificazione | AMS 20-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001149559707536 |
|
Evans, David M.
|
||
| Cambridge ; New York : Cambridge University Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
| Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui |
| Autore | Latin-American symposium on mathematical logic <1976 ; Campinas> |
| Pubbl/distr/stampa | Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada, Elsevier North Holland, 1977 |
| Descrizione fisica | xviii, 307 p. : ill. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Arruda, Ayda I.
Costa, Newton C. A. : da Chuaqui, Rolando Basim |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 89 |
| Soggetto topico |
Computable functions - Congresses
Model theory - Congresses Nonclassical mathematical logic - Congresses |
| ISBN | 0720407524 |
| Classificazione | AMS 03-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001169219707536 |
|
Latin-American symposium on mathematical logic <1976 ; Campinas>
|
||
| Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada, Elsevier North Holland, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] / edited by W. Marek, M. Srebrny, and A. Zarach
| Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] / edited by W. Marek, M. Srebrny, and A. Zarach |
| Autore | Conference on set theory and hierarchy theory <1975 ; Bierutowice> |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1976 |
| Descrizione fisica | xiii, 345 p. ; 25 cm |
| Disciplina | 511.322 |
| Altri autori (Persone) |
Marek, Wiktor
Srebrny, Marian Zarach, Andrzej |
| Collana | Lecture notes in mathematics, 0075-8434 ; 537 |
| Soggetto topico |
Model theory - Congresses
Mostowski, Andrzej-bibliography Recursive functions - Congresses Set theory - Congresses |
| ISBN | 3540078568 |
| Classificazione |
AMS 03-06
AMS 03E |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001339949707536 |
|
Conference on set theory and hierarchy theory <1975 ; Bierutowice>
|
||
| Berlin ; New York : Springer-Verlag, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Set theory and hierarchy theory V : Bierutowice, Poland, 1976 / edited by A. Lachlan, M. Srebrny, and A. Zarach
| Set theory and hierarchy theory V : Bierutowice, Poland, 1976 / edited by A. Lachlan, M. Srebrny, and A. Zarach |
| Autore | Conference on set theory and hierarchy theory <1976 ; Bierutowice> |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1977 |
| Descrizione fisica | viii, 358 p. ; 25 cm. |
| Disciplina | 511.322 |
| Altri autori (Persone) |
Lachlan, Alistar
Srebrny, Marian Zarach, Andrzej |
| Collana | Lecture notes in mathematics, 0075-8434 ; 619 |
| Soggetto topico |
Model theory - Congresses
Recursion theory-hierarchies - Congresses Set theory - Congresses |
| ISBN | 3540085211 |
| Classificazione |
AMS 03-06
AMS 03E |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001339999707536 |
|
Conference on set theory and hierarchy theory <1976 ; Bierutowice>
|
||
| Berlin ; New York : Springer-Verlag, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979 / edited by R. B. Jensen and A. Prestel
| Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979 / edited by R. B. Jensen and A. Prestel |
| Autore | Jensen, Ronald Bjorn |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | 174 p. ; 25 cm. |
| Disciplina |
510
511.322 |
| Altri autori (Persone) | Prestel, Alexander |
| Collana | Lecture notes in mathematics, 0075-8434 ; 872 |
| Soggetto topico |
Model theory - Congresses
Set theory - Congresses |
| ISBN | 0387109491 |
| Classificazione | AMS 03C55 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001340099707536 |
|
Jensen, Ronald Bjorn
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
