摘要:
jstor.org 
sci-hub.se 参考文章(4)
Gaisi TAKEUTI, On a generalized logic calculus Japanese journal of mathematics :transactions and abstracts. ,vol. 23, pp. 39- 96 ,(1953) , 10.4099/JJM1924.23.0_39
Gaisi TAKEUTI, On the fundamental conjecture of $GLC$ I. Journal of the Mathematical Society of Japan. ,vol. 7, pp. 249- 275 ,(1955) , 10.2969/JMSJ/00730249
Akiko KINO, On ordinal diagrams Journal of The Mathematical Society of Japan. ,vol. 13, pp. 346- 356 ,(1961) , 10.2969/JMSJ/01340346
Gaisi TAKEUTI, On the inductive definition with quantifiers of second order Journal of The Mathematical Society of Japan. ,vol. 13, pp. 333- 341 ,(1961) , 10.2969/JMSJ/01340333