Автор: Centrone Stefania, Negri Sara, Sarikaya Deniz Название: Mathesis Universalis, Computability and Proof ISBN: 3030204499 ISBN-13(EAN): 9783030204495 Издательство: Springer Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 1. Introduction: Mathesis Universalis, Proof and ComputationStefania Centrone 2. Diplomacy of Trust in the European CrisisEnno Aufderheide 3. Mathesis Universalis and Homotopy Type TheorySteve Awodey 4. Note on the Benefit of Proof Representations by NameMatthias Baaz 5. Constructive Proofs of Negated StatementsJosef Berger and Gregor Svindland 6. Constructivism in Abstract MathematicsUlrich Berger 7. Addressing Circular Definitions via Systems of ProofsRiccardo Bruni 8. The Monotone Completeness Theorem in Constructive Reverse MathematicsHajime Ishihara and Takako Nemoto 9. From Mathesis Universalis to Fixed Points and Related Set-Theoretic ConceptsGerhard Jдger and Silvia Steila 10. Through an Inference Rule, DarklyRoman Kuznets 11. Objectivity and Truth in Mathematics: A Sober Non-Platonist PerspectiveGodehard Link 12. From Mathesis Universalis to Provability, Computability, and ConstructivityKlaus Mainzer 13. Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus: a SurveyPierluigi Minari 14. Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful ProgramsThomas Powell 15. The Concepts of Proof and GroundDag Prawitz 16. On Relating Theories: Proof-Theoretical ReductionMichael Rathjen and Michael Toppel 17. Program Extraction from Proofs: the Fan Theorem for Uniformly Coconvex BarsHelmut Schwichtenberg 18. Counting and Numbers, from Pure Mathesis to Base Conversion AlgorithmsJan von Plato 19. Point-Free Spectra of Linear SpreadsDaniel Wessel
Автор: Chertkovskaya Ekaterina, Paulsson Alexander, Barca Stefania Название: Towards a Political Economy of Degrowth ISBN: 1786608952 ISBN-13(EAN): 9781786608956 Издательство: Rowman & Littlefield Publishers Рейтинг: Цена: 25133.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Bringing degrowth into dialogue with critical social theories, covering previously unexplored geographical contexts and discussing some of the most contested concepts in degrowth, the book hints at informed paths towards socio-ecological transformation.
Описание: Covering a range of subjects from operator theory and classical harmonic analysis to Banach space theory, this book features fully-refereed, high-quality papers exploring new results and trends in weighted norm inequalities, Schur-Agler class functions, complex analysis, dynamical systems, and dyadic harmonic analysis.
Описание: The book includes high-quality papers presented at the 4th International Conference on Smart Learning Ecosystems and Regional Development at Universita Roma Tor Vergata, Italy, from 22 to 24 May, 2019.
Описание: Despite an outpouring in recent years of history and cultural criticism related to the Holocaust, Italian women`s literary representations and testimonies have not received their proper due. This project fills this gap by analyzing Italian women`s writing from a variety of genres, all set against a complex historical backdrop.
Автор: Walker Thomas, Bergantino Angela Stefania, Sprung-Much Northrop Название: Sustainable Aviation: Greening the Flight Path ISBN: 3030286630 ISBN-13(EAN): 9783030286637 Издательство: Springer Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Rather, peace professionals work on a distinct set of peaces, that differ along four dimensions. In five case study chapters, the operational visions of peace held by Dutch military officers, diplomats and civil society peace workers, as well as civil society peace workers from Lebanon and the Philippines are explored and compared to each other.
Автор: Rossi Stefania Название: Access to Bank Credit and Sme Financing ISBN: 3319823337 ISBN-13(EAN): 9783319823331 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explores how the global financial and European sovereign debt crises have forced small-and-medium-sized businesses (SMEs) to reassess and adapt their funding strategies.
