Autor:	Hugo Albuquerque
Rok vydání:	2021
Předmět:	Algebra Operator (computer programming) Logic Mathematics
Zdroj:	Mathematical Logic Quarterly. 67:226-240
ISSN:	1521-3870 0942-5616
DOI:	10.1002/malq.202000034
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::751c1828f921034f72169660fdde77f0 https://doi.org/10.1002/malq.202000034 Zobrazit plný text záznamu