Stefania Centrone – författare
Visar alla böcker från författaren Stefania Centrone. Handla med fri frakt och snabb leverans.
18 produkter
Reflections on the Foundations of Mathematics
Univalent Foundations, Set Theory and General Thoughts
Av Stefania Centrone, Deborah Kant m. fl.
Inbunden, 2019
1636 kr
Lägg i varukorg
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover …
Reflections on the Foundations of Mathematics
Univalent Foundations, Set Theory and General Thoughts
Av Deniz Sarikaya, Deborah Kant m. fl.
E-bok, 2019
2044 kr
Lägg i varukorg
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover …
Reflections on the Foundations of Mathematics
Univalent Foundations, Set Theory and General Thoughts
Av Stefania Centrone, Deborah Kant m. fl.
Häftad, 2020
1636 kr
Lägg i varukorg
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover …
Mathesis Universalis, Computability and Proof
Av Stefania Centrone, Sara Negri m. fl.
Inbunden, 2019
1310 kr
Lägg i varukorg
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” …
Mathesis Universalis, Computability and Proof
Av Peter M. Schuster, Deniz Sarikaya m. fl.
E-bok, 2019
1785 kr
Lägg i varukorg
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” …
Mathesis Universalis, Computability and Proof
Av Stefania Centrone, Sara Negri m. fl.
Häftad, 2020
1310 kr
Lägg i varukorg
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” …
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
Av Stefania Centrone, Pierluigi Minari
Inbunden, 2022
1202 kr
Lägg i varukorg
This book offers the first-ever English translation of Oskar Becker’s Zur Logik der Modalitäten. This essay, published in 1930, is a pioneering yet often neglected contribution in the context of prewar modal logic research in Europe. Becker’s text is complemented by an extended commentary that …
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
Av Pierluigi Minari, Stefania Centrone
E-bok, 2022
1622 kr
Lägg i varukorg
This book offers the first-ever English translation of Oskar Becker’s Zur Logik der Modalitäten . This essay, published in 1930, is a pioneering yet often neglected contribution in the context of prewar modal logic research in Europe. Becker’s text is complemented by an extended commentary that …
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
Av Stefania Centrone, Pierluigi Minari
Häftad, 2023
1202 kr
Lägg i varukorg
This book offers the first-ever English translation of Oskar Becker’s Zur Logik der Modalitäten. This essay, published in 1930, is a pioneering yet often neglected contribution in the context of prewar modal logic research in Europe. Becker’s text is complemented by an extended commentary that …
Versuche über Husserl
E-bok, 2013
204 kr
Lägg i varukorg
Husserls Werk ist an begrifflichen Herausforderungen gewiss nicht arm, was durchaus seiner messianischen Überzeugung entspricht, »dass aus meiner Lebensarbeit eine völlige Umwälzung des ganzen Stils, der notwendigen Problemstellung der gesamten Philosophie der Jahrtausende hervorgeht«.Dieser Band …
Versuche über Husserl
E-bok, 2013
204 kr
Lägg i varukorg
Husserls Werk ist an begrifflichen Herausforderungen gewiss nicht arm, was durchaus seiner messianischen Überzeugung entspricht, »dass aus meiner Lebensarbeit eine völlige Umwälzung des ganzen Stils, der notwendigen Problemstellung der gesamten Philosophie der Jahrtausende hervorgeht«.Dieser Band …
Logic and Philosophy of Mathematics in the Early Husserl
Inbunden, 2009
1096 kr
Lägg i varukorg
Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, …
Logic and Philosophy of Mathematics in the Early Husserl
E-bok, 2009
1459 kr
Lägg i varukorg
Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, …
Logic and Philosophy of Mathematics in the Early Husserl
Häftad, 2012
1096 kr
Lägg i varukorg
Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, …
Essays on Husserl's Logic and Philosophy of Mathematics
Inbunden, 2017
1641 kr
Lägg i varukorg
Essays on Husserl’s Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl’s work in the field of logic, of the philosophy of logic and of the philosophy of mathematics. The aim is to provide an in-depth …
Essays on Husserl's Logic and Philosophy of Mathematics
E-bok, 2017
2111 kr
Lägg i varukorg
Essays on Husserl’s Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl’s work in the field of logic, of the philosophy of logic and of the philosophy of mathematics. The aim is to provide an in-depth …
Essays on Husserl's Logic and Philosophy of Mathematics
Häftad, 2018
1641 kr
Lägg i varukorg
Essays on Husserl’s Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl’s work in the field of logic, of the philosophy of logic and of the philosophy of mathematics. The aim is to provide an in-depth …
TEMPORAL LOGIC: FROM PHILOSOPHY AND PROOF THEORY TO ARTIFICIAL INTELLIGENCE AND QUANTUM COMPUTING
Av Stefania Centrone, Klaus Mainzer
Inbunden, 2023
1156 kr
Lägg i varukorg
Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech …