Number of the records: 1

Per Martin-Löf. Transcriptions

SYSNO	0565576
Title	Per Martin-Löf. Transcriptions
Author(s)	Klev, Ansten (FLU-F)_{ORCID, RID, SAI} Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Issue data	Prague: Filosofický ústav AV ČR, 2022
Document Type	Elektronický dokument
Grant	LQ300092101, CZ - Czech Republic
Institutional support	FLU-F - RVO:67985955
Language	eng
Country	CZ
Keywords	Per Martin-Löf * constructive type theory * intuitionistic type theory * philosophy * transcriptions
URL	https://pml.flu.cas.cz/
Permanent Link	https://hdl.handle.net/11104/0339757

Number of the records: 1