Autor:	Coquand, T, Schuster, Peter Michael
Jazyk:	angličtina
Rok vydání:	2011
Předmět:	constructive König Lemma point-free constructive unique choice König Lemma unique choice point-free
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______1943::914737db3d69233431b37e2909a05626 http://hdl.handle.net/11562/927953 Zobrazit plný text záznamu