Publication
Found 2 results
Filters: Author is Takako Nemoto [Clear All Filters]
.
2016. Non-Deterministic Inductive Definitions and Fullness. Concepts of Proof in Mathematics, Philosophy, and Computer Science. :163–170.
.
2016. A note on the independence of premiss rule. Math. Log. Q.. 62:72–76.