Centrone, Stefania books & textbook
Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing
Mainzer, Klaus Centrone, Stefania
WSPC /2023-05-22 Hardcover / 220 Pages
isbn-10: 9811268533 / isbn-13: 9789811268533
Mathesis Universalis, Computability and Proof (Synthese Library)
Centrone, Stefania Negri, Sara Sarikaya, Deniz Schuster, Peter M.
Springer /2020-11-06 Paperback / 384 Pages
isbn-10: 3030204499 / isbn-13: 9783030204495
[( Logic and Philosophy of Mathematics in the Early Husserl )] [by: Stefania Centrone] [Feb-2010]
Hardcover
Essays on Husserl's Logic and Philosophy of Mathematics (Synthese Library, 384)
Springer /2018-05-18 Paperback / 552 Pages
isbn-10: 9402414940 / isbn-13: 9789402414943
Oskar Becker on Modalities (Philosophische Hefte)
Centrone, Stefania Minari, Pierluigi
Logos Verlag Berlin /2019-12-15 Paperback / 76 Pages
isbn-10: 3832550313 / isbn-13: 9783832550318
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis (Synthese Library)
Centrone, Stefania Minari, Pierluigi
Springer /2023-04-13 Paperback / 172 Pages
isbn-10: 3030875504 / isbn-13: 9783030875503
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts (Synthese Library)
Centrone, Stefania Kant, Deborah Sarikaya, Deniz
Springer /2020-11-20 Paperback / 524 Pages
isbn-10: 3030156575 / isbn-13: 9783030156572