R-Calculus, IV: Propositional Logic

Autor: Wei Li, Yuefei Sui
Rok vydání: 2023
Zdroj: Perspectives in Formal Induction, Revision and Evolution ISBN: 9789811986321
DOI: 10.1007/978-981-19-8633-8
Databáze: OpenAIRE