Výsledky vyhledávání

Nalezeno záznamů: 2  
Váš dotaz: Autor-kód záznamu + druh.dok = "^cav_un_auth 0332052 230a^"
 V košíku (0)
  1. 1.
    ProjektLogicko-filozofická analýza pojmu identity
    Název projektuGJ17-18344Y
    PoskytovatelGA ČR
    Doba řešení2017 - 2019
    Příjemce projektu Filosofický ústav AV ČR, v. v. i.
    (Spolu)řešitel projektu Klev
    Katal.org.CAV
    Odkazy (3) - Konferenční příspěvek (zahraniční konference)
    (8) - Článek v odborném časopise
    (1) - Část monografie
    SouborProjekty
  2. 2.
    ProjektSmysluplný formalismus. Filosofie matematiky pro teorii typů
    Název projektuLQ300092101
    Poskytovatel ostatníAV ČR
    Doba řešení2021 - 2025
    Příjemce projektu Filosofický ústav AV ČR, v. v. i.
    (Spolu)řešitel projektu Klev
    Katal.org.CAV
    Odkazy (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
    SouborProjekty


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

Přijmout všeNastaveníOdmítnout vše