Centrone, Stefania.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
by:
SpringerLink (Online service); Centrone, Stefania.; Minari, Pierluigi.
(Language materials, printed)
, [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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [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.
(Language materials, printed)
Temporal logic = from philosophy and proof theory to artificial intelligence and quantum computing /
by:
Centrone, Stefania.; Mainzer, Klaus.
(Language materials, printed)
Subjects
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.