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 | ||
|
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 | ||
|
Logic and Implication : An Introduction to the General Algebraic Study of Non-classical Logics / Petr Cintula, Carles Noguera |
Autore | Cintula, Petr |
Pubbl/distr/stampa | Cham, : Springer, 2021 |
Descrizione fisica | xxii, 465 p. : ill. ; 24 cm |
Altri autori (Persone) | Noguera, Carles |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
Soggetto non controllato |
Abstract algebraic logic
Algebraic Logic Algebraic Semantics Completeness theorems First-Order Predicate Logics Generalized Disjunctions Implication and disjunction in logics Logical Connectives Logical Matrices Logics and their algebraic semantics Non-classical logics Predicate logic Propositional logic Semilinear Logics Substructural Logics Weakly Implicative Logics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0274887 |
Cintula, Petr
![]() |
||
Cham, : Springer, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic, mathematics, and computer science : modern foundations with practical applications / Yves Nievergelt |
Autore | Nievergelt, Yves |
Edizione | [2. ed] |
Pubbl/distr/stampa | New York, : Springer, 2015 |
Descrizione fisica | XII, 391 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 91-XX - Game theory, economics, finance, and other social and behavioral sciences [MSC 2020] |
Soggetto non controllato |
Applications sets and functions
First-order logic Foundations mathematics Gale and Shapely algorithm Inference rules Math transition course textbook Mathematical induction Nash equilibrium Prisoner's dilemma Propositional logic Set Theory Transfinite induction |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0113185 |
Nievergelt, Yves
![]() |
||
New York, : Springer, 2015 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
Autore | Ebbinghaus, Heinz-Dieter |
Edizione | [3. ed] |
Pubbl/distr/stampa | Cham, : Springer, 2021 |
Descrizione fisica | ix, 304 p. : ill. ; 24 cm |
Altri autori (Persone) |
Flum, Jörg
Thomas, Wolfgang <1947- > |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
Soggetto non controllato |
Axiom system logic
Computability logic First-order language First-order logic Graduate mathematical logic Gödel’s completeness theorem Herbrand's theorem Infinitary languages Lindström’s theorem Logic computer science Mathematical logic Mathematical provability Model theory logic Presburger arithmetic Propositional logic Second order logic Trakhtenbrot’s theorem Weak monadic second order |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0274931 |
Ebbinghaus, Heinz-Dieter
![]() |
||
Cham, : Springer, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics / Alex Citkin, Ioannis M. Vandoulakis editors |
Pubbl/distr/stampa | Cham, : Springer, 2022 |
Descrizione fisica | xi, 313 p. : ill. ; 24 cm |
Soggetto non controllato |
Adding Constants to FDE-based Logics
Canonical Models and Yankov Formulas Characteristic Formula Constructive Proofs based on Dialogical Interpretatio Frame and Subframe Formula Greek Philosophy and Mathematics Heyting algebras Intuitionistic Logic Invariance Modality Lattice NExtS4 as a Puzzle Composed of NExtInt-Pieces Lattice of Superintuitionistic Propositional Logics Markov’s Constructivism Modal Canonical Formulas Modal Logic Pretabular Intermediate Logics Propositional logic Splitting Algebra Ultra-intuitionism Yankov Characteristic Formulas |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0278240 |
Cham, : Springer, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|