Concepedia
1
Publications
137
Citations
H-Index
1960
Active since
Affiliations
Gifu University(Current)
Iwao Nishimura is an author at Gifu University specializing in automated reasoning and semantics.
Top concepts
SemanticsAutomated Reasoning
Publications per year
1960–1960
On formulas of one variable in intuitionistic propositional calculus
Iwao Nishimura · Journal of Symbolic Logic · 1960 · 137 citations
Following Theorems, Brouwerian-algebraic Functions, Algebraic Logic +8
Rows per page
1–1 of 1