Info
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||