000 00356nam a2200133Ia 4500
008 180710s9999 xx 000 0 und d
020 _a102547
082 _a511.3
_bTAK
100 _aTAKEUTI, Gaisi
245 _aTwo applications of logic to mathematics
260 _aTokyo
_bThe Mathematical Society of Japan
_c1978
300 _aviii, 137 p.
942 _cS
999 _c90151
_d90151