Вариант доказательства критерия полноты для функций $k$-значной логики

Autor:	V A Buevich
Rok vydání:	1996
Předmět:	Discrete mathematics Completeness (order theory) Mathematics
Zdroj:	Diskretnaya Matematika. 8:11-36
ISSN:	0234-0860
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f4d86f71e38a733c01b9fcf82ff32c0c https://doi.org/10.4213/dm544 Zobrazit plný text záznamu