Počet záznamů: 1

Per Martin-Löf. Transcriptions

SYSNO ASEP	0565576
Druh ASEP	E - Elektronický dokument
Zařazení RIV	A - Prezentace v oblasti VaV (AV tvorba, elektronické dokumenty tj. dokumenty vydané pouze ve formě čitelné prostřednictvím počítače (např. dokumenty vydané pouze na CD),dokumenty dostupné pouze prostřednictvím Internetu, WEB prezentace)
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
Forma vydání	Online - E
Jazyk dok.	eng - angličtina
Země vyd.	CZ - Česká republika
Klíč. slova	Per Martin-Löf ; constructive type theory ; intuitionistic type theory ; philosophy ; transcriptions
Vědní obor RIV	AA - Filosofie a náboženství
Obor OECD	Philosophy, History and Philosophy of science and technology
Institucionální podpora	FLU-F - RVO:67985955
Anotace	This page collects transcriptions of lectures, mainly of a philosophical nature, given by Per Martin-Löf between the autumn of 1993 and September 2019. Most of them are published here for the first time. Each transcription contains a prefatory note outlining its origin.
Pracoviště	Filosofický ústav
Kontakt	Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360
Rok sběru	2023
Elektronická adresa	https://pml.flu.cas.cz/

Počet záznamů: 1