Stefania Centrone

Available identifiers

zbMath Open centrone.stefaniaMaRDI QIDQ484908

List of research outcomes

Publication	Date of Publication	Type
Temporal Logic	2023-07-04	Paper
Oskar Becker and the modal translation of intuitionistic logic	2022-10-28	Paper
Conceptions of Proof from Aristotle to Gentzen’s Calculi	2022-06-17	Paper
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis	2021-10-26	Paper
Introduction: Mathesis Universalis, Proof and Computation	2020-08-10	Paper
EARLY BOLZANO ONGROUND-CONSEQUENCEPROOFS	2017-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q2965531	2017-03-03	Paper
Mirja Hartimo ed. Phenomenology and Mathematics. Phaenomenologia; 195. Dordrecht: Springer, 2010. ISBN 978-90-481-3728-2 (hbk); 978-90-481-3728-2 (e-book); 978-94-007-3196-7 (pbk). Pp. xxv + 222	2015-04-17	Paper
Das Problem der apagogischen Beweise in BolzanosBeyträgenund seinerWissenschaftslehre	2015-03-25	Paper
The Origin of the Logic of Symbolic Mathematics. Edmund Husserl and Jacob Klein	2015-03-25	Paper
Notes on Mally's deontic logic and the collapse of \textit{Seinsollen} and \textit{Sein}	2015-01-08	Paper
Book review of: E. Morscher, Normenlogik. Grundlagen -- Systeme -- Anwendungen	2014-10-21	Paper
Strong proofs and the prohibition of \textit{metábasis eis állo génos}. An investigation into Bernard Bolzano's \textit{Beyträge zu einer begründeten Darstellung der Mathematik}	2013-04-18	Paper
Functions in Frege, Bolzano and Husserl	2011-07-29	Paper
Logic and philosophy of mathematics in the early Husserl	2010-01-08	Paper
Husserl on the ‘Totality of all conceivable arithmetical operations’	2007-03-30	Paper

Research outcomes over time

This page was built for person: Stefania Centrone