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.
An Introduction to the Language of Mathematics / Frédéric Mynard
| An Introduction to the Language of Mathematics / Frédéric Mynard |
| Autore | Mynard, Frédéric |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xii, 185 p. : ill. ; 24 cm |
| Soggetto topico |
11Axx - Elementary number theory [MSC 2020]
03E25 - Axiom of choice and related propositions [MSC 2020] 06A06 - Partial order, general [MSC 2020] 11A51 - Factorization; primality [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03Bxx - General logic [MSC 2020] 03F07 - Structure of proofs [MSC 2020] 97Exx - Education of foundations of mathematics [MSC 2020] |
| Soggetto non controllato |
Equivalence relations
Infinite cardinality Mathematical induction Order relation Proofs Propositional logic Relations Set Theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124569 |
Mynard, Frédéric
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Introduction to the Language of Mathematics / Frédéric Mynard
| An Introduction to the Language of Mathematics / Frédéric Mynard |
| Autore | Mynard, Frédéric |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xii, 185 p. : ill. ; 24 cm |
| Soggetto topico |
03Bxx - General logic [MSC 2020]
03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03E25 - Axiom of choice and related propositions [MSC 2020] 03F07 - Structure of proofs [MSC 2020] 06A06 - Partial order, general [MSC 2020] 11A51 - Factorization; primality [MSC 2020] 11Axx - Elementary number theory [MSC 2020] 97Exx - Education of foundations of mathematics [MSC 2020] |
| Soggetto non controllato |
Equivalence relations
Infinite cardinality Mathematical induction Order relation Proofs Propositional logic Relations Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124569 |
|
Mynard, Frédéric
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Introduction to the Language of Mathematics / Frédéric Mynard
| An Introduction to the Language of Mathematics / Frédéric Mynard |
| Autore | Mynard, Frédéric |
| Edizione | [Cham : Springer, 2018] |
| Pubbl/distr/stampa | xii, 185 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
11Axx - Elementary number theory [MSC 2020]
03E25 - Axiom of choice and related propositions [MSC 2020] 06A06 - Partial order, general [MSC 2020] 11A51 - Factorization; primality [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03Bxx - General logic [MSC 2020] 03F07 - Structure of proofs [MSC 2020] 97Exx - Education of foundations of mathematics [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124569 |
|
Mynard, Frédéric
|
||
| xii, 185 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Beyond topology / Frederic Mynard, Elliott Pearl, editors
| Beyond topology / Frederic Mynard, Elliott Pearl, editors |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, c2009 |
| Descrizione fisica | viii, 383 p. : ill. ; 26 cm |
| Disciplina | 514 |
| Altri autori (Persone) |
Mynard, Fredericauthor
Pearl, Elliottauthor |
| Collana | Contemporary mathematics, 0271-4132 ; 486 |
| Soggetto topico |
Topological spaces
Topology |
| ISBN | 9780821842799 |
| Classificazione |
AMS 54A
AMS 54-02 LC QA611.3.B49 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001845029707536 |
| Providence, R. I. : American Mathematical Society, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
An Introduction to the Language of Mathematics / / by Frédéric Mynard
| An Introduction to the Language of Mathematics / / by Frédéric Mynard |
| Autore | Mynard Frédéric |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 185 p. 34 illus., 16 illus. in color.) |
| Disciplina |
511.3
511.36 |
| Soggetto topico |
Proof theory
Structures and Proofs |
| ISBN | 3-030-00641-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1- The language of logic and set-theory -- Chapter 2- On proofs and writing mathematics -- Chapter 3- Relations -- Chapter 4- Cardinality -- Appendix A- Complements -- Appendix B- Solutions to exercises in the text -- Index -- Bibliography. |
| Record Nr. | UNINA-9910300114003321 |
|
Mynard Frédéric
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||