Publication

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