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.
Nonstandard models of arithmetic and set theory : AMS special session nonstandard models of arithmetic and set theory -January 15-16,2003 Baltimore Maryland / Ali Enayat, Roman Kossak, editors
Nonstandard models of arithmetic and set theory : AMS special session nonstandard models of arithmetic and set theory -January 15-16,2003 Baltimore Maryland / Ali Enayat, Roman Kossak, editors
Pubbl/distr/stampa Providence : American mathematical society, 0361
Descrizione fisica ; 24 cm
Disciplina 511.3
Collana Contemporary mathematics
Soggetto non controllato Analisi non Archimedea - congressi
Teoria degli insiemi - Congressi
ISBN 0-8218-3535-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990008116550403321
Providence : American mathematical society, 0361
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Set Theory : Annual Boise Extravaganza in Set Theory (BEST) Conference, March 13-15, 1992, April 10-11, 1993, March 25-27, 1994, Boise State University, Boise, Idaho / Tomek Bartoszynski, Marion Scheepers, editors
Set Theory : Annual Boise Extravaganza in Set Theory (BEST) Conference, March 13-15, 1992, April 10-11, 1993, March 25-27, 1994, Boise State University, Boise, Idaho / Tomek Bartoszynski, Marion Scheepers, editors
Autore Set
Pubbl/distr/stampa Providence : American Mathematical Society, 1996
Descrizione fisica xii, 184 p. ; 26 cm
Disciplina 511.322
Collana Contemporary mathematics
Soggetto non controllato Teoria degli insiemi - Congressi
ISBN 0-8218-0306-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001356500403321
Set  
Providence : American Mathematical Society, 1996
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Set theory of the continuum / editors H. Judah, W. Just, H. Woodin
Set theory of the continuum / editors H. Judah, W. Just, H. Woodin
Autore Workshop on set theory and the continuum : <1989
Pubbl/distr/stampa New York : Springer-Verlag, c1992
Descrizione fisica IX, 416 p. ; 24 cm
Disciplina 511.322
Collana Mathematical Sciences Research Institute publications
Soggetto non controllato Teoria degli insiemi - Congressi
ISBN 0-387-97874-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001324030403321
Workshop on set theory and the continuum : <1989  
New York : Springer-Verlag, c1992
Materiale a stampa
Lo trovi qui: Univ. Federico II
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
Pubbl/distr/stampa Cambridge : Cambridge University Press, c1999
Descrizione fisica ix, 436 p. ; 23 cm
Disciplina 511.322
Collana London Mathematical Society lecture note series
Soggetto non controllato Logica matematica - Congressi
Teoria degli insiemi - Congressi
Teoria della dimostrazione - Congressi
ISBN 0-521-63549-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001348810403321
Logic colloquium : <1997  
Cambridge : Cambridge University Press, c1999
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui