Basket

    1.
    0573620 - FLÚ 2024 RIV US eng J - Journal Article
    Klev, Ansten
    Spiritus asper versus lambda. On the nature of functional abstraction.
    Notre Dame Journal of Formal Logic. Roč. 64, č. 2 (2023), s. 205-223. ISSN 0029-4527. E-ISSN 1939-0726
    Grant - others:AV ČR(CZ) LQ300092101
    Program: Prémie Lumina quaeruntur
    Institutional support: RVO:67985955
    Keywords : functional abstraction * type theory * Gottlob Frege
    OECD category: Philosophy, History and Philosophy of science and technology
    Impact factor: 0.7, year: 2022
    Method of publishing: Limited access
    https://doi.org/10.1215/00294527-10670089
    Permanent Link: https://hdl.handle.net/11104/0344218
     
     
  2. 2.def.record 'I2_TF_SHORT' not found in 'CavUnTablesd'

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

Accept allSettingsReject all