Košík

  1. 1.
    0553397 - FLÚ 2023 RIV GB eng J - Článek v odborném periodiku
    Klev, Ansten
    Identity in Martin-Löf type theory.
    Philosophy Compass. Roč. 17, č. 2 (2022), č. článku e12805. E-ISSN 1747-9991
    Grant CEP: GA ČR(CZ) GJ17-18344Y
    Grant ostatní: AV ČR(CZ) LQ300092101
    Program: Prémie Lumina quaeruntur
    Institucionální podpora: RVO:67985955
    Klíčová slova: normalization * perspective * truth * proof
    Obor OECD: Philosophy, History and Philosophy of science and technology
    Impakt faktor: 1.8, rok: 2022
    Způsob publikování: Omezený přístup
    https://doi.org/10.1111/phc3.12805
    Trvalý link: http://hdl.handle.net/11104/0331574
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.