Number of the records: 1

Per Martin-Löf. Transcriptions

SYSNO ASEP	0565576
Document Type	E - Electronic Document
R&D Document Type	R&D Presentation (audio-visual, electronic documents. Documents released only in a form readable by a computer (eg . documents released on CD only), available only via the Internet, WEB presentation.
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
Publication form	Online - E
Language	eng - English
Country	CZ - Czech Republic
Keywords	Per Martin-Löf ; constructive type theory ; intuitionistic type theory ; philosophy ; transcriptions
Subject RIV	AA - Philosophy ; Religion
OECD category	Philosophy, History and Philosophy of science and technology
Institutional support	FLU-F - RVO:67985955
Annotation	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.
Workplace	Institute of Philosophy
Contact	Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360
Year of Publishing	2023
Electronic address	https://pml.flu.cas.cz/

Number of the records: 1