R-Calculus, III: Post Three-Valued Logic

Autor:	Wei Li, Yuefei Sui
Rok vydání:	2022
Zdroj:	Perspectives in Formal Induction, Revision and Evolution ISBN: 9789811942693
DOI:	10.1007/978-981-19-4270-9
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ab74b5f4d973234a0e041326e50185fe https://doi.org/10.1007/978-981-19-4270-9 Zobrazit plný text záznamu