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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
An outline of set theory / James M. Henle |
Autore | Henle, James M. |
Pubbl/distr/stampa | New York, : Springer, 1986 |
Descrizione fisica | VIII, 145 p. ; 24 cm. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A07 - Problem books [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] |
ISBN |
978-03-87963-68-6
03-87963-68-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0055686 |
Henle, James M.
![]() |
||
New York, : Springer, 1986 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
An outline of set theory / James M. Henle |
Autore | Henle, James M. |
Pubbl/distr/stampa | New York, : Springer, 1986 |
Descrizione fisica | VIII, 145 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A07 - Problem books [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] |
Soggetto non controllato |
Calculus
Cardinals Finite Mathematics Ordinals Set Theory |
ISBN |
03-87963-68-5
978-03-87963-68-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0055686 |
Henle, James M.
![]() |
||
New York, : Springer, 1986 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
An outline of set theory / James M. Henle |
Autore | Henle, James M. |
Pubbl/distr/stampa | New York, : Springer, 1986 |
Descrizione fisica | viii, 145 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A07 - Problem books [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] |
Soggetto non controllato |
Calculus
Cardinals Finite Mathematics Ordinals Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268847 |
Henle, James M.
![]() |
||
New York, : Springer, 1986 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Basic Set Theory / Alexander Shen, Nikolai K. Vereshchagin |
Autore | Shen, Alexander <1958-> |
Pubbl/distr/stampa | Providence, : American mathematical society, 2002 |
Descrizione fisica | VI, 116 p. ; 21 cm. |
Altri autori (Persone) | Vereshchagin, Nikolai K. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] |
ISBN | 8-0-8218-2731-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0050822 |
Shen, Alexander <1958->
![]() |
||
Providence, : American mathematical society, 2002 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Basic Set Theory / Alexander Shen, Nikolai K. Vereshchagin |
Autore | Shen, Alexander <1958-> |
Pubbl/distr/stampa | Providence, : American mathematical society, 2002 |
Descrizione fisica | VI, 116 p. ; 21 cm |
Altri autori (Persone) | Vereshchagin, Nikolai K. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] |
ISBN | 978-08-218-2731-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0050822 |
Shen, Alexander <1958->
![]() |
||
Providence, : American mathematical society, 2002 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Foundations of the Theory of Parthood : A Study of Mereology / Andrzej Pietruszczak ; Translated by Matthew Carmody |
Autore | Pietruszczak, Andrzej |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xxiii, 285 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Bounded axioms of mereological sum
Existentially neutral theories of parthood Foundations of Mereology Grzegorczyk lattices Grzegorczyk mereology Leśniewski mereology Mereological Sum Existence Axioms Mereological fusion Mereological sum Mereology Mereology and Boolean algebras Non-transitive theories of parthood Supplementation principles in mereology Transitivity of Parthood Weak Systems of Mereology |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0249176 |
Pietruszczak, Andrzej
![]() |
||
Cham, : Springer, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma |
Autore | Jongsma, Calvin |
Pubbl/distr/stampa | Cham, : Springer, 2019 |
Descrizione fisica | xx, 482 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
05-XX - Combinatorics [MSC 2020] 06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 05Cxx - Graph theory [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03Bxx - General logic [MSC 2020] 06E30 - Boolean functions [MSC 2020] |
Soggetto non controllato |
Boolean algebra
Mathematical induction Peano arithmetic Predicate logic Propositional logic Sentential logic Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0126931 |
Jongsma, Calvin
![]() |
||
Cham, : Springer, 2019 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma |
Autore | Jongsma, Calvin |
Edizione | [Cham : Springer, 2019] |
Pubbl/distr/stampa | xx, 482 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
05-XX - Combinatorics [MSC 2020] 06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 05Cxx - Graph theory [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03Bxx - General logic [MSC 2020] 06E30 - Boolean functions [MSC 2020] |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0126931 |
Jongsma, Calvin
![]() |
||
xx, 482 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|