Centrone, Stefania.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
by:
SpringerLink (Online service); Centrone, Stefania.; Minari, Pierluigi.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Mathesis Universalis, Computability and Proof
by:
Sarikaya, Deniz.; Centrone, Stefania.; Schuster, Peter M.; Negri, Sara.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reflections on the Foundations of Mathematics = Univalent Foundations, Set Theory and General Thoughts /
by:
Centrone, Stefania.; SpringerLink (Online service); Kant, Deborah.; Sarikaya, Deniz.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Essays on Husserl's logic and philosophy of mathematics
by:
Husserl, Edmund, (1859-1938); SpringerLink (Online service); Centrone, Stefania.
(書目-語言資料,印刷品)
Temporal logic = from philosophy and proof theory to artificial intelligence and quantum computing /
by:
Centrone, Stefania.; Mainzer, Klaus.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Computer science—Mathematics.
Husserl, Edmund,
Logic, Symbolic and mathematical.
Philosophy—History.
Temporal automata.
Mathematics
Logic
History of Philosophy.
Mathematical physics.
Mathematics of Computing.
Mathematics—Philosophy.
Theoretical, Mathematical and Computational Physics.
Logic.
Philosophy of Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Philosophy.
Phenomenology.