Tugué, Tosiyuki Predicates recursive in a type-2 object and Kleene hierarchies. (English) Zbl 0097.24701 Comment. Math. Univ. St. Pauli 8, 97-117 (1960). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents Keywords:philosophy and foundations of mathematics PDF BibTeX XML Cite \textit{T. Tugué}, Comment. Math. Univ. St. Pauli 8, 97--117 (1960; Zbl 0097.24701)