Cookies help us deliver our services. By using our services, you agree to our use of cookies.
Arai, Yoshinari. 1966.
“On Axiom Systems of Propositional Calculi, XVII.” Proc. Japan Acad. 42: 351–354.
Arai, Yoshinari and
Tanaka, Shotaro. 1966a.
“On Axiom Systems of Propositional Calculi, XIX.” Proc. Japan Acad. 42: 358–360.
Arai, Yoshinari and
Tanaka, Shotaro. 1966b.
“A Remark on Propositional Calculi with Variable Functors.” Proc. Japan Acad. 42: 1056–1057.