Shôji Maehara and Gaisi Takeuti. A formal system of first-order predicate calculus with infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 357–370.
Erwin Engeler · Journal of Symbolic Logic · 1962
Shôji Maehara and Gaisi Takeuti. A formal system of first-order predicate calculus with infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 357–370. - Volume 27 Issue 4