I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra.
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.