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.
A history of interactions between logic and number theory / Angus Macintyre
| A history of interactions between logic and number theory / Angus Macintyre |
| Autore | Macintyre, Angus |
| Edizione | [Roma : Aracne] |
| Descrizione fisica | Estratto da: Quaderni di matematica, n. 11(2002), p. 227-272. |
| Soggetto topico | Ultraproducts and related constructions [MSC 2010] 03C20 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0094123 |
Macintyre, Angus
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Analyzable functions and applications : International workshop on analyzable functions and applications -june 17-21,2002 -International centre for mathematical sciences - Edinburgh, Scotland / O. Costin, M.D. Kruskal, A. Macintyre
| Analyzable functions and applications : International workshop on analyzable functions and applications -june 17-21,2002 -International centre for mathematical sciences - Edinburgh, Scotland / O. Costin, M.D. Kruskal, A. Macintyre |
| Autore | Costin, Ovidiu |
| Pubbl/distr/stampa | Providence : American Mathematical Society, c2005 |
| Descrizione fisica | vi, 371 p. ; 24 cm |
| Disciplina | 515 |
| Altri autori (Persone) | Kruskal, Martin |
| Collana | Contemporary mathematics |
| Soggetto non controllato |
Funzioni - Congressi
Espansioni asintotiche - Congressi |
| ISBN | 0-8218-3419-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008122240403321 |
|
Costin, Ovidiu
|
||
| Providence : American Mathematical Society, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analyzable functions and applications : International Workshop on Analyzable Functions and Applications, June 17-21, 2002, International Centre for Mathematical Sciences, Edinburgh, Scotland / O. Costin, M.D. Kruskal, A. Macintyre, editors
| Analyzable functions and applications : International Workshop on Analyzable Functions and Applications, June 17-21, 2002, International Centre for Mathematical Sciences, Edinburgh, Scotland / O. Costin, M.D. Kruskal, A. Macintyre, editors |
| Autore | International Workshop on Analyzable Functions and Applications <2002 ; Edinburgh, Scotland> |
| Pubbl/distr/stampa | Providence, R.I. : American Mathematical Society, c2005 |
| Descrizione fisica | vii, 371 p. : ill. ; 26 cm |
| Disciplina | 515 |
| Altri autori (Persone) |
Costin, Ovidiuauthor
Kruskal, Martin David Macintyre, Angus |
| Collana | Contemporary mathematics, 0271-4132 ; 373 |
| Soggetto topico |
Asymptotic expansions - Congresses
Functions - Congresses |
| ISBN | 0821834193 |
| Classificazione |
AMS 03C64
AMS 34M37 AMS 34M30 AMS 58J37 AMS 34D15 AMS 40G10 AMS 39A05 LC QA355.I58 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001093459707536 |
|
International Workshop on Analyzable Functions and Applications <2002 ; Edinburgh, Scotland>
|
||
| Providence, R.I. : American Mathematical Society, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Approximating volumes and integrals in o-minimal and p-minimal theories / Marek Karpinski and Angus Macintyre
| Approximating volumes and integrals in o-minimal and p-minimal theories / Marek Karpinski and Angus Macintyre |
| Autore | Karpinski, Marek |
| Edizione | [Roma : Aracne] |
| Descrizione fisica | Estratto da: Quaderni di matematica, n. 6 (2000), p. 149-178. |
| Altri autori (Persone) | Macintyre, Angus |
| Soggetto topico |
Complexity of computation [MSC 2010] 03D15
Abstract model theory [MSC 2010] 03C95 Equations and systems with randomness [MSC 2010] 34Fxx Length, area, volume [MSC 2010] 52A38 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0093429 |
|
Karpinski, Marek
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Connections between model theory and algebraic and analytic geometry / edited by Angus Macintyre
| Connections between model theory and algebraic and analytic geometry / edited by Angus Macintyre |
| Pubbl/distr/stampa | Roma, : Aracne, 2000 |
| Descrizione fisica | IX, 199 p. ; 22 cm. |
| Soggetto topico |
14-XX - Algebraic geometry [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| ISBN | 978-88-7999-312-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0062776 |
| Roma, : Aracne, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Connections between model theory and algebraic and analytic geometry / edited by Angus Macintyre
| Connections between model theory and algebraic and analytic geometry / edited by Angus Macintyre |
| Pubbl/distr/stampa | Roma, : Aracne, 2000 |
| Descrizione fisica | IX, 199 p. ; 22 cm |
| Soggetto topico |
14-XX - Algebraic geometry [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| ISBN | 978-88-7999-312-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0062776 |
| Roma, : Aracne, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Diagonal Methods and Strong Cuts in Models of Arithmetic / Kenneth Mc Aloon
| Diagonal Methods and Strong Cuts in Models of Arithmetic / Kenneth Mc Aloon |
| Autore | McAloon, Kenneth |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1978 |
| Descrizione fisica | 171-297 ; 22 cm |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001028700403321 |
|
McAloon, Kenneth
|
||
| Amsterdam [etc.] : North-Holland, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic colloquium, '77 : proceedings of the colloquium held in Wroclaw, August 1977 / edited by Macintyre, Angus, Leszek Pacholski, Jeff Paris
| Logic colloquium, '77 : proceedings of the colloquium held in Wroclaw, August 1977 / edited by Macintyre, Angus, Leszek Pacholski, Jeff Paris |
| Autore | Macintyre, Angus |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1978 |
| Descrizione fisica | x, 311 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Pacholski, Leszek
Paris, Jeff |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 96 |
| Soggetto topico |
Mathematical logic - Congresses
Symbolic logic - Congresses |
| ISBN | 044485178X |
| Classificazione |
AMS 03-06
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001094649707536 |
|
Macintyre, Angus
|
||
| Amsterdam : North-Holland, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Weil cohomology and model theory / Angus Macintyre
| Weil cohomology and model theory / Angus Macintyre |
| Autore | Macintyre, Angus |
| Edizione | [Roma : Aracne] |
| Descrizione fisica | Estratto da: Quaderni di matematica, n. 6 (2000), p. 179-199. |
| Soggetto topico |
Algebraic cycles [MSC 2010] 14C25
Model-theoretic algebra [MSC 2010] 03C60 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0093431 |
|
Macintyre, Angus
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||