Autor:	Spitters, B.A.W.
Rok vydání:	2005
Předmět:	ComputingMethodologies_DOCUMENTANDTEXTPROCESSING Oxford logic guides Foundations
Zdroj:	From Sets and Types to Topology and Analysis--Towards Practicable Foundations for Constructive Mathematics, pp. 268-279 From Sets and Types to Topology and Analysis--Towards Practicable Foundations for Constructive Mathematics, 268-279. Oxford : Oxford University Press STARTPAGE=268;ENDPAGE=279;TITLE=From Sets and Types to Topology and Analysis--Towards Practicable Foundations for Constructive Mathematics
Popis:	Contains fulltext : 33240.pdf (Author’s version preprint ) (Open Access)
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a96f96f85a11331de643200b7865280e https://hdl.handle.net/2066/33240 Zobrazit plný text záznamu