top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Muller and D. S. Scott
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Muller and D. S. Scott
Autore Muller, Gert H.
Pubbl/distr/stampa Berlin : Springer-Verlag, 1978
Descrizione fisica xii, 476 p. ; 25 cm
Disciplina 510.8
511.3
Altri autori (Persone) Scott, Dana S.
Collana Lecture notes in mathematics, 0075-8434 ; 669
Soggetto topico Set theory - Congresses
ISBN 3540089268
Classificazione AMS 04-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000978869707536
Muller, Gert H.  
Berlin : Springer-Verlag, 1978
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Set theory and its applications : annual Boise Extravaganza in Set Theory, 1995--2010, Boise, Idaho / L. Babinkostova ... [et al.], editors
Set theory and its applications : annual Boise Extravaganza in Set Theory, 1995--2010, Boise, Idaho / L. Babinkostova ... [et al.], editors
Autore Boise Extravaganza in Set Theory Conference
Pubbl/distr/stampa Providence, R. I. : American Mathematical Society, c2011
Descrizione fisica xi, 330 p. : ill. ; 26 cm
Disciplina 511.322
Altri autori (Persone) Babinkostova, L.author
Collana Contemporary mathematics, 0271-4132 ; 533
Soggetto topico Set theory - Congresses
ISBN 9780821848128
Classificazione AMS 03C55
AMS 03E15
AMS 46L05
LC QA248.B66
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001853069707536
Boise Extravaganza in Set Theory Conference  
Providence, R. I. : American Mathematical Society, c2011
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Set theory and its applications : proc. of conf. held at York Univ., Ontario, Canada, Aug. 10-21, 1987 / eds. J. Steprans, S. Watson
Set theory and its applications : proc. of conf. held at York Univ., Ontario, Canada, Aug. 10-21, 1987 / eds. J. Steprans, S. Watson
Autore Steprans, J.
Pubbl/distr/stampa Berlin : Springer-Verlag, 1989
Descrizione fisica 227 p. ; 24 cm.
Disciplina 511.322
Altri autori (Persone) Watson, S.
Collana Lecture notes in mathematics, 0075-8434 ; 1401
Soggetto topico Set theory - Congresses
ISBN 3540517308
Classificazione AMS 04-06
AMS 04-XX
AMS 54-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001340079707536
Steprans, J.  
Berlin : Springer-Verlag, 1989
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Sets and proofs : invited papers from Logic Colloquium '97, European meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
Sets and proofs : invited papers from Logic Colloquium '97, European meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
Autore Logic colloquium <1997 ; Leeds, England>
Pubbl/distr/stampa Cambridge : Cambridge University Press, 1999
Descrizione fisica ix, 436 p. : ill. ; 23 cm
Disciplina 511.3
Altri autori (Persone) Cooper, S. Barry
Truss, J. K.
Altri autori (Enti) Association for Symbolic Logic
Collana London Mathematical Society lecture note series, 0076-0552 ; 258
Soggetto topico Proof theory - Congresses
Set theory - Congresses
ISBN 0521635497
Classificazione AMS 03-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001340849707536
Logic colloquium <1997 ; Leeds, England>  
Cambridge : Cambridge University Press, 1999
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui