Centrone, Stefania.
概要
| 作品: | 21 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Mathesis universalis, computability and proof
by:
Centrone, Stefania.; SpringerLink (Online service)
(書目-電子資源)
Oskar Becker, on the logic of modalities (1930)translation, commentary and analysis /
by:
Centrone, Stefania.; Minari, Pierluigi.; SpringerLink (Online service)
(書目-電子資源)
Logic and philosophy of mathematics in the early Husserl
by:
Centrone, Stefania.; Husserl, Edmund, (1859-1938.); SpringerLink (Online service)
(書目-電子資源)
Reflections on the foundations of mathematicsunivalent foundations, set theory and general thoughts /
by:
Centrone, Stefania.; Kant, Deborah.; Sarikaya, Deniz.; SpringerLink (Online service)
(書目-電子資源)
Essays on Husserl's logic and philosophy of mathematics
by:
Centrone, Stefania.; Husserl, Edmund, (1859-1938); SpringerLink (Online service)
(書目-電子資源)
Temporal logicfrom philosophy and proof theory to artificial intelligence and quantum computing /
by:
Centrone, Stefania.; Mainzer, Klaus.
(書目-電子資源)
主題
Logic.
Philosophy.
Mathematical Logic and Foundations.
Phenomenology.
Mathematical Logic and Formal Languages.
Mathematics
Logic, Symbolic and mathematical.
Mathematics of Computing.
Logic
Husserl, Edmund,
Set theory.
Epistemology.
Proof theory.
Modality (Logic)
Philosophy of Mathematics.
Theoretical, Mathematical and Computational Physics.
Temporal automata.
History of Philosophy.
Philosophy of Science.