Takeuti, G.; Kino, A. On predicates with constructive infinitely long expressions. (English) Zbl 0118.25001 J. Math. Soc. Japan 15, 176-190 (1963). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 4 Documents Keywords:mathematical logic PDFBibTeX XMLCite \textit{G. Takeuti} and \textit{A. Kino}, J. Math. Soc. Japan 15, 176--190 (1963; Zbl 0118.25001) Full Text: DOI