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.
Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors
| 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 |
03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] 03F15 - Recursive ordinals and ordinal notations [MSC 2020] 03F50 - Metamathematics of constructive systems [MSC 2020] 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [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-VAN00114364 |
| [Basel], : Birkhäuser, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebra without Borders – Classical and Constructive Nonassociative Algebraic Structures : Foundations and Applications / Mahouton Norbert Hounkonnou ... [et al.] editors
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebra without Borders-Classical and Constructive Nonassociative Algebraic Structures : Foundations and Applications / Mahouton Norbert Hounkonnou ... [et al.] editors
| 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 topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
05-XX - Combinatorics [MSC 2020] 16-XX - Associative rings and algebras [MSC 2020] 17-XX - Nonassociative rings and algebras [MSC 2020] |
| 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-VAN00278698 |
| Cham, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Constructive Analysis / E. Bishop, D. Bridges
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Constructive Analysis / E. Bishop, D. Bridges
| 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]
03F60 - Constructive and recursive analysis [MSC 2020] 03F65 - Other constructive mathematics [MSC 2020] 28-XX - Measure and integration [MSC 2020] 28C05 - Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures [MSC 2020] 28C10 - Set functions and measures on topological groups, Haar measures, invariant measures [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-VAN00263476 |
|
Bishop, Errett
|
||
| Berlin, : Springer, 1985 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [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-VAN00261785 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Effective Kan Fibrations in Simplicial Sets / Benno van den Berg, Eric Faber
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Effective Kan Fibrations in Simplicial Sets / Benno van den Berg, Eric Faber
| 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-VAN00260795 |
|
Berg, Benno van den
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
