Výsledky vyhledávání
- 1.0511657 - FLÚ 2020 RIV CH eng M - Část monografie knihy
Klev, Ansten
A comparison of type theory with set theory.
Reflections on the Foundations of Mathematics. Cham: Springer, 2019 - (Centrone, S.; Kant, D.; Sarikaya, D.), s. 271-292. Synthese Library, 407. ISBN 978-3-030-15654-1
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: type theory * set theory
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0301885 - 2.0480514 - FLÚ 2018 RIV NL eng M - Část monografie knihy
Klev, Ansten
Husserl and Carnap on regions and formal categories.
Essays on Husserl’s Logic and Philosophy of Mathematics. Dordrecht: Springer, 2017 - (Centrone, S.), s. 409-429. Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 384. ISBN 978-94-024-1130-0
Institucionální podpora: RVO:67985955
Klíčová slova: Edmund Husserl * Rudolf Carnap * categories
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0276286