Search results

  1. 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. 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
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.