00413nam a2200121Ia 4500008004100000082001900041100001900060245004800079260005100127300002200178490005800200500003300258260820b        |||||||| |||| 00| 0 eng d  a511.3bT136.TA  aTakeuti, Gaisi  aTwo applications of logic to mathematicsb/  aNew Jersey:bPrinceton University Press,c1978  aviii, 137p. Index  aPublications of the Mathematical Society of Japan, 13  a"Kano, memorial lectures, 3"