Models of Peano arithmetic / Richard Kaye
| Models of Peano arithmetic / Richard Kaye |
| Autore | Kaye, Richard |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1991 |
| Descrizione fisica | 292 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Oxford logic guides ; 15 |
| Soggetto topico |
Model theory
Arithmetic - Foundations |
| ISBN | 019853213X |
| Classificazione | AMS 03C62 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001152309707536 |
Kaye, Richard
|
||
| Oxford : Clarendon Press, 1991 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 |
| Autore | AMS Special Session Nonstandard Models of Arithmetic and Set Theory <2003 ; Baltimore, Md.> |
| Pubbl/distr/stampa | Providence, RI : American Mathematical Society, 2004 |
| Descrizione fisica | xii, 167 p. : ill. ; 26 cm |
| Disciplina | 511.322 |
| Altri autori (Persone) |
Enayat, Aliauthor
Kossak, Romanauthor |
| Collana | Contemporary mathematics, 0271-4132 ; 361 |
| Soggetto topico | Set theory |
| ISBN | 0821835351 |
| Classificazione |
LC QA248.A634
AMS 03-06 AMS 03C62 AMS 03H05 AMS 00B25 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001114079707536 |
AMS Special Session Nonstandard Models of Arithmetic and Set Theory <2003 ; Baltimore, Md.>
|
||
| Providence, RI : American Mathematical Society, 2004 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||