Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des 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.