Number of the records: 1  

Smysluplný formalismus. Filosofie matematiky pro teorii typů

  1. 1.
    ProjectSmysluplný formalismus. Filosofie matematiky pro teorii typů
    Project NameLQ300092101
    Funding Provider - OthersAV ČR
    Research years2021 - 2025
    Grant Recipient Filosofický ústav AV ČR, v. v. i.
    Participants Klev
    Catal.org.CAV
    References (1) - Monografie kniha jako celek
    (1) - Konferenční příspěvek (zahraniční konference)
    (1) - Elektronický dokument
    (4) - Článek v odborném časopise
    (2) - Část monografie
    (2) - Recenze
    FileProjekty
Number of the records: 1  

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

Accept allSettingsReject all