Search results
- 1.0511657 - FLÚ 2020 RIV CH eng M - Monography Chapter
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
R&D Projects: GA ČR(CZ) GJ17-18344Y
Institutional support: RVO:67985955
Keywords : type theory * set theory
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0301885 - 2.0480514 - FLÚ 2018 RIV NL eng M - Monography Chapter
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
Institutional support: RVO:67985955
Keywords : Edmund Husserl * Rudolf Carnap * categories
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0276286