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.
Proofs from the Book / Martin Aigner, Günter M. Ziegler ; edizione italiana a cura di Alfio Quarteroni ; con 220 figure comprese le illustrazioni di Karl H. Hofmann
| Proofs from the Book / Martin Aigner, Günter M. Ziegler ; edizione italiana a cura di Alfio Quarteroni ; con 220 figure comprese le illustrazioni di Karl H. Hofmann |
| Autore | Aigner, Martin |
| Pubbl/distr/stampa | Milano : Springer, c2006 |
| Descrizione fisica | xii, 269 p. : ill. (some col.) ; 25 cm |
| Disciplina | 510 |
| Altri autori (Persone) |
Ziegler, Günter M.
Quarteroni, Alfio |
| Soggetto topico | Mathematics |
| ISBN | 8847004357 |
| Classificazione | AMS 00-01 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001629839707536 |
Aigner, Martin
|
||
| Milano : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Proofs from The Book / Martin Aigner, Günter M. Ziegler ; with 220 figures including illustrations by Karl H. Hofmann
| Proofs from The Book / Martin Aigner, Günter M. Ziegler ; with 220 figures including illustrations by Karl H. Hofmann |
| Autore | Aigner, Martin |
| Edizione | [2nd corr. print.] |
| Pubbl/distr/stampa | Berlin : Springer, 1999 |
| Descrizione fisica | viii, 199 p. : ill. (some col.) ; 25 cm |
| Disciplina | 510 |
| Altri autori (Persone) | Ziegler, Günter M. |
| Soggetto topico | Mathematics |
| ISBN | 3540636986 |
| Classificazione |
AMS 00-01
LC QA36.A36 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001269359707536 |
|
Aigner, Martin
|
||
| Berlin : Springer, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Proofs without words : exercises in visual thinking / Roger B. Nelsen
| Proofs without words : exercises in visual thinking / Roger B. Nelsen |
| Autore | Nelsen, Roger B. |
| Pubbl/distr/stampa | Washington : Published and distributed by The Mathematical Association of America, c1993 |
| Descrizione fisica | vii, 152 p ; 26 cm. |
| Disciplina | 510 |
| Collana | Classroom resource materials ; 1 |
| Soggetto topico | Methodology of mathematics |
| ISBN | 0883857006 |
| Classificazione | AMS 00A35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001269399707536 |
|
Nelsen, Roger B.
|
||
| Washington : Published and distributed by The Mathematical Association of America, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Proofs without words II : more exercises in visual thinking / Roger B. Nelsen
| Proofs without words II : more exercises in visual thinking / Roger B. Nelsen |
| Autore | Nelsen, Roger B. |
| Pubbl/distr/stampa | Washington, D.C. : Published and distributed by Mathematical Association of America, c2000 |
| Descrizione fisica | 130 p. : ill. ; 26 cm. |
| Disciplina | 510 |
| Collana | Classroom resource materials |
| Soggetto topico | Mathematics Charts, diagrams, etc |
| ISBN | 0883857219 |
| Classificazione | AMS 00A35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003694149707536 |
|
Nelsen, Roger B.
|
||
| Washington, D.C. : Published and distributed by Mathematical Association of America, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 ; Leeds, England> |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1999 |
| Descrizione fisica | ix, 436 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Cooper, S. Barry
Truss, J. K. |
| Altri autori (Enti) | Association for Symbolic Logic |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 258 |
| Soggetto topico |
Proof theory - Congresses
Set theory - Congresses |
| ISBN | 0521635497 |
| Classificazione | AMS 03-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001340849707536 |
|
Logic colloquium <1997 ; Leeds, England>
|
||
| Cambridge : Cambridge University Press, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Dense sphere packings : a blueprint for formal proofs / Thomas C. Hales
| Dense sphere packings : a blueprint for formal proofs / Thomas C. Hales |
| Autore | Hales, Thomas Callister |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 2012 |
| Descrizione fisica | xiv, 271 p. : ill. ; 23 cm |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 400 |
| Soggetto topico | Sphere packings |
| ISBN | 9780521617703 |
| Classificazione |
AMS 52C17
LC QA166.7.H35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001860919707536 |
|
Hales, Thomas Callister
|
||
| Cambridge ; New York : Cambridge University Press, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Elementary theory of metric spaces : a course in constructing mathematical proofs / Robert B. Reisel
| Elementary theory of metric spaces : a course in constructing mathematical proofs / Robert B. Reisel |
| Autore | Reisel, Robert B. |
| Pubbl/distr/stampa | New York : Springer-Verlag, c1982 |
| Descrizione fisica | 120 p. ; 24 cm |
| Disciplina | 514.32 |
| Collana | Universitext |
| Soggetto topico |
Functional analysis
Functions of real variables Metric spaces |
| ISBN | 0387907068 |
| Classificazione |
AMS 54E35
LC QA331.R45 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000847949707536 |
|
Reisel, Robert B.
|
||
| New York : Springer-Verlag, c1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Geometry for computer graphics : formulae, examples and proofs / John Vince
| Geometry for computer graphics : formulae, examples and proofs / John Vince |
| Autore | Vince, John (John A.) |
| Pubbl/distr/stampa | London : Springer, c2005 |
| Descrizione fisica | xxii, 342 p. : ill. ; 25 cm |
| Disciplina | 516 |
| Soggetto topico |
Computer graphics - Mathematics
Geometry - Data processing |
| ISBN | 1852338342 |
| Classificazione |
AMS 68U05
LC T385.V5616 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000829059707536 |
|
Vince, John (John A.)
|
||
| London : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The mathematical universe : an alphabetical journey through the great proofs, problems, and personalities / William Dunham
| The mathematical universe : an alphabetical journey through the great proofs, problems, and personalities / William Dunham |
| Autore | Dunham, William |
| Pubbl/distr/stampa | New York : J. Wiley & Sons, c1994 |
| Descrizione fisica | vi, 314 p. : ill. ; 25 cm. |
| Disciplina | 510 |
| Soggetto topico | Mathematicians-history |
| ISBN | 0471176613 |
| Classificazione |
AMS 00A05
QA21.D785 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001121219707536 |
|
Dunham, William
|
||
| New York : J. Wiley & Sons, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Set theory : an introduction to independence proofs / Kenneth Kunen
| Set theory : an introduction to independence proofs / Kenneth Kunen |
| Autore | Kunen, Kenneth |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1980 |
| Descrizione fisica | xvi, 310 p ; 23 cm. |
| Disciplina | 510.332 |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 102 |
| Soggetto topico |
Axiomatic set theory
Set theory |
| ISBN | 0444854010 |
| Classificazione |
AMS 03E
AMS 03E30 AMS 04-XX QA248.K75 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001340289707536 |
|
Kunen, Kenneth
|
||
| Amsterdam : North-Holland, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
