Centrone, Stefania.
Overview
| Works: | 2 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Essays on Husserl's logic and philosophy of mathematics
by:
Centrone, Stefania.; SpringerLink (Online service)
(Electronic resources)
Mathesis universalis, computability and proof
by:
Centrone, Stefania.; SpringerLink (Online service)
(Electronic resources)
Logic and philosophy of mathematics in the early Husserl
by:
SpringerLink (Online service); Centrone, Stefania.
(Language materials, printed)
Temporal logic = from philosophy and proof theory to artificial intelligence and quantum computing /
by:
Centrone, Stefania.; Mainzer, Klaus.
(Electronic resources)
Oskar Becker, on the logic of modalities (1930) = translation, commentary and analysis /
by:
Centrone, Stefania.; Minari, Pierluigi.; SpringerLink (Online service)
(Electronic resources)
Subjects
Logic.
Mathematics- Philosophy.
Philosophy.
Mathematical Logic and Foundations.
Phenomenology.
Mathematical Logic and Formal Languages.
Logic, Symbolic and mathematical.
Husserl, Edmund,
Epistemology.
Logic- Philosophy.
Proof theory.
Modality (Logic)
Temporal automata.
History of Philosophy.
Philosophy of Science.