Autor:	Ishihara, H, Schuster, Peter Michael
Jazyk:	angličtina
Rok vydání:	2011
Předmět:	Contrapositive of countable choice · Double negation elimination · Heyting arithmetic · Elementary analysis · Recursive · Decidable · Church’s thesis
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______1943::5d8c20b4111084120037f0d39c072b6d http://hdl.handle.net/11562/927871 Zobrazit plný text záznamu