Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors |
Pubbl/distr/stampa | [Basel], : Birkhäuser, : Springer, 2016 |
Descrizione fisica | XII, 425 p. : ill. ; 24 cm |
Soggetto topico |
03F50 - Metamathematics of constructive systems [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] 03F15 - Recursive ordinals and ordinal notations [MSC 2020] 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
Soggetto non controllato |
Constructive mathematics
Ordinal Analysis Proof Theory Proof search Type theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0114364 |
[Basel], : Birkhäuser, : Springer, 2016 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Algebra without Borders – Classical and Constructive Nonassociative Algebraic Structures : Foundations and Applications / Mahouton Norbert Hounkonnou ... [et al.] editors |
Pubbl/distr/stampa | Cham, : Springer, 2023 |
Descrizione fisica | xxxvii, 570 p. : ill. ; 24 cm |
Soggetto non controllato |
AG-groupoid
Combinatorics Constructive mathematics Group theory Hom-algebraic structures Knot theory Linear algebra Nonassociative algebraic structures Poisson-Lie groups Quandles Representation Theory Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0278698 |
Cham, : Springer, 2023 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Constructive Analysis / E. Bishop, D. Bridges |
Autore | Bishop, Errett |
Pubbl/distr/stampa | Berlin, : Springer, 1985 |
Descrizione fisica | xii, 477 p. ; 24 cm |
Altri autori (Persone) | Bridges, Douglas S. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
28-XX - Measure and integration [MSC 2020] 28C10 - Set functions and measures on topological groups, Haar measures, invariant measures [MSC 2020] 28C05 - Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures [MSC 2020] 03F65 - Other constructive mathematics [MSC 2020] 03F60 - Constructive and recursive analysis [MSC 2020] 46S30 - Constructive functional analysis [MSC 2020] |
Soggetto non controllato |
Analysis
Banach algebra Boundary Element Methods Constructive mathematics Convolution Hilbert spaces Set Theory Sets Time |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0263476 |
Bishop, Errett
![]() |
||
Berlin, : Springer, 1985 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman |
Pubbl/distr/stampa | Berlin, : Springer, 1981 |
Descrizione fisica | x, 350 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
Soggetto non controllato |
Algebra
Calculation Constructive mathematics Finite Mathematics Ordinals Recursion Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0261785 |
Berlin, : Springer, 1981 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Effective Kan Fibrations in Simplicial Sets / Benno van den Berg, Eric Faber |
Autore | Berg, Benno van den |
Pubbl/distr/stampa | Cham, : Springer, 2022 |
Descrizione fisica | x, 230 p. : ill. ; 24 cm |
Altri autori (Persone) | Faber, Eric |
Soggetto topico | 18-XX - Category theory; homological algebra [MSC 2020] |
Soggetto non controllato |
Constructive mathematics
Homotopy Type Theory Homotopy theory Kan Complexes Simplicial Sets |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0260795 |
Berg, Benno van den
![]() |
||
Cham, : Springer, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Essays in Constructive Mathematics / Harold M. Edwards ; With Contribution by David A. Cox |
Autore | Edwards, Harold M. |
Edizione | [2. ed] |
Pubbl/distr/stampa | Cham, : Springer, 2022 |
Descrizione fisica | xiv, 322 p. : ill. ; 24 cm |
Soggetto non controllato |
Abel's theorem constructive formulation
Algorithmic foundations of Galois theory Constructive algebra Constructive approach to mathematical proof Constructive definition of points on an algebraic curve Constructive mathematics Galois theory constructive approach Gauss binary quadratic forms Genus of an algebraic curve Kronecker general arithmetic Newton's diagram |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0277391 |
Edwards, Harold M.
![]() |
||
Cham, : Springer, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors |
Pubbl/distr/stampa | Cham, : Springer, 2021 |
Descrizione fisica | xviii, 483 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B30 - Festschriften [MSC 2020] 03Bxx - General logic [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Arabic Logic
Arabic Philosophy of Mathematics Avicenna on Deductions from Contradictory Premises Basic Logic Binary Modal Companions for Subintuitionistic Logics Bounded Distributive Lattices with Two Subordinations Constructive logic Constructive mathematics Intuitionism to Many-Valued Logics through Kripke Models Intuitionistic Logic Intuitionistic Logic of Language Intuitionistic Philosophy of Mathematics Mohammad Ardeshir Non-Conditional Contracting Connectives Residuated Expansions of Lattice-Ordered Structures Struggle between Syntax and Semantics in Mathematics Substructural Logic Termination Condition of Gossip Protocols Unification in basic logic |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0274944 |
Cham, : Springer, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory / Peter M. Schuster, Monika Seisenberger, Andreas Weiermann editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | x, 391 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 06A05 - Total order [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
Soggetto non controllato |
Analytic combinatorics
Braid Groups Combinatorics Commutative algebra Computational content of classical proofs Constructive mathematics Descriptive set theory Discrete mathematics Graph theory Graph-minor Theorem Kriz's Theorem Maximal Order Type Ordinal Notation System Proof Theory Reverse Mathematics Subrecursive hierarchies Termination Proofs Theorem Proving and Verification Theory of relations Well Quasi-order |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0250035 |
Cham, : Springer, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|