Model Theory in Algebra, Analysis and Arithmetic [[electronic resource] ] : Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori / / by Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilkie |
Autore | van den Dries Lou |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (VII, 195 p.) |
Disciplina | 511.3 |
Collana | C.I.M.E. Foundation Subseries |
Soggetto topico |
Mathematical logic
Algebra Mathematical analysis Analysis (Mathematics) Number theory Mathematical Logic and Foundations Analysis Number Theory |
ISBN | 3-642-54936-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Some themes around first order theories without the independence property -- Lectures on the model theory of real and complex exponentiation -- Lectures on the model theory of valued fields -- Undecidability in number theory. |
Record Nr. | UNISA-996215313403316 |
van den Dries Lou
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model Theory in Algebra, Analysis and Arithmetic : Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori / / by Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilkie |
Autore | van den Dries Lou |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (VII, 195 p.) |
Disciplina | 511.3 |
Collana | C.I.M.E. Foundation Subseries |
Soggetto topico |
Mathematical logic
Algebra Mathematical analysis Analysis (Mathematics) Number theory Mathematical Logic and Foundations Analysis Number Theory |
ISBN | 3-642-54936-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Some themes around first order theories without the independence property -- Lectures on the model theory of real and complex exponentiation -- Lectures on the model theory of valued fields -- Undecidability in number theory. |
Record Nr. | UNINA-9910300156203321 |
van den Dries Lou
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Numeri e Crittografia / / by Stefano Leonesi, Carlo Toffalori |
Autore | Leonesi Stefano |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Milano : , : Springer Milan : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (182 p.) |
Disciplina | 512.7 |
Collana | La Matematica per il 3+2 |
Soggetto topico |
Mathematics
Algebra Number theory Mathematics, general Number Theory |
ISBN | 88-470-0477-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Nota di contenuto | Dalla Crittografia ai Numeri -- Primi e Composti -- Potenze, Radici e Logaritmi -- Il Problema della Primalità -- Il Problema della Fattorizzazione -- Ancora Crittografia. |
Record Nr. | UNINA-9910483888503321 |
Leonesi Stefano
![]() |
||
Milano : , : Springer Milan : , : Imprint : Springer, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|