Košík

Záznam byl přidán do košíku

Projekt	Smysluplný formalismus. Filosofie matematiky pro teorii typů
Název projektu	LQ300092101
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
Soubor	Projekty