Počet záznamů: 1

Per Martin-Löf. Transcriptions

SYSNO	0565576
Název	Per Martin-Löf. Transcriptions
Tvůrce(i)	Klev, Ansten (FLU-F)_{ORCID, RID, SAI} Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Vyd. údaje	Prague: Filosofický ústav AV ČR, 2022
Druh dok.	Elektronický dokument
Grant	LQ300092101, CZ - Česká republika
Institucionální podpora	FLU-F - RVO:67985955
Jazyk dok.	eng
Země vyd.	CZ
Klíč.slova	Per Martin-Löf * constructive type theory * intuitionistic type theory * philosophy * transcriptions
URL	https://pml.flu.cas.cz/
Trvalý link	https://hdl.handle.net/11104/0339757

Počet záznamů: 1