Košík

0565576 - FLÚ 2023 RIV CZ eng E - Elektronický dokument
Klev, Ansten - Pezlar, Ivo
Per Martin-Löf. Transcriptions.
[online databáze]. - Prague: Filosofický ústav AV ČR, 2022, 3,5 MB
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: Per Martin-Löf * constructive type theory * intuitionistic type theory * philosophy * transcriptions
Obor OECD: Philosophy, History and Philosophy of science and technology
https://pml.flu.cas.cz/
Trvalý link: https://hdl.handle.net/11104/0339757