000 00645nam a2200241Ia 4500
003 OSt
005 20220912151133.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a19669
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB2:(R1), L8
100 _aTakeuti Gaisi
245 0 _aTwo applications of logic to mathematics
260 _aUSA
_bIwanami Shoten
_c1978
300 _aviii,139p.
_ccm.
490 _aPublication of the mathematical society
942 _hB2:(R1), L8
_cTEXL
_2CC
999 _c62078
_d62078