Shôji Maehara. Cut-elimination theorem concerning a formal system for ramified theory of types which admits quantifications on types. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 2 (1962), pp. 55–64.
Moto-o Takahashi · Journal of Symbolic Logic · 1970
Shôji Maehara. Cut-elimination theorem concerning a formal system for ramified theory of types which admits quantifications on types. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 2 (1962), pp. 55–64. - Volume 35 Issue 2