"R-Calculus, III: Post Three-Valued Logic"
Wei Li
"R-Calculus, III: Post Three-Valued Logic" - 2022 - Springer 2022 - "Perspectives in Formal Induction, Revision and Evolution" .
9789811942709
Computer Science
Formal Languages and Automata Theory
"R-Calculus, III: Post Three-Valued Logic" - 2022 - Springer 2022 - "Perspectives in Formal Induction, Revision and Evolution" .
9789811942709
Computer Science
Formal Languages and Automata Theory