000 00487nam a2200169Ia 4500
001 42549
003 CONS
008 171214s9999 xx 000 0 eng d
041 0 _aeng
082 0 4 _a510.6
100 1 _aTakeuti G.
245 1 0 _aTow Applications of Logic to Mathematics
_cTakeuti G.
260 _aTokyo
_bIwarami Shoten Publ.&Princeton Univ. Press
_c1978
300 _a137 p.
500 _aKano Memorial Lectures 3. Publications of the Math. Soc. Of Japan V.13
942 _2udc
_cBK
999 _c42192
_d42192