Centrone, Stefania.
概要
| 作品: | 2 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Essays on Husserl's logic and philosophy of mathematics
by:
Centrone, Stefania.; SpringerLink (Online service)
(書目-電子資源)
Mathesis universalis, computability and proof
by:
Centrone, Stefania.; SpringerLink (Online service)
(書目-電子資源)
Logic and philosophy of mathematics in the early Husserl
by:
SpringerLink (Online service); Centrone, Stefania.
(書目-語言資料,印刷品)
Temporal logic = from philosophy and proof theory to artificial intelligence and quantum computing /
by:
Centrone, Stefania.; Mainzer, Klaus.
(書目-電子資源)
Oskar Becker, on the logic of modalities (1930) = translation, commentary and analysis /
by:
Centrone, Stefania.; Minari, Pierluigi.; SpringerLink (Online service)
(書目-電子資源)
主題
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.