A Non-Uniformly C-Productive Sequence & Non-Constructive Disjunctions

Autor:	John Case, Yohji Akama, Michael Ralston
Rok vydání:	2015
Předmět:	Combinatorics Constructive Mathematics Sequence (medicine)
Zdroj:	Proceedings of the 13th Asian Logic Conference.
DOI:	10.1142/9789814678001_0002
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::da808b7ce569daef8f0c8348335da741 https://doi.org/10.1142/9789814678001_0002 Zobrazit plný text záznamu