Takeuti G. Tow Applications of Logic to Mathematics Takeuti G. - Tokyo Iwarami Shoten Publ.&Princeton Univ. Press 1978 - 137 p. Kano Memorial Lectures 3. Publications of the Math. Soc. Of Japan V.13 Dewey Class. No.: 510.6