TY - GEN AU - Takeuti, Gaisi AU - Yasugi, Mariko TI - The Ordinals of the Systems of Second order Arithmetric With the Provably (delta 1/2) Comprehension Axiom and With the (delta 1/2) Comprehension Axiom Respectively PY - 1970/// CY - Carnegie - Mellon PB - Carnegie - Mellon University N1 - Contine bibliografie; Lucrarea este multigrafiata ER -