000 00390nam a2200169Ia 4500
001 11441
003 IN-NITTTR
005 20251114233107.0
008 251113s9999||||xx |||||||||||||| ||eng||
040 _beng
040 _cIN-NITTTR
041 _aeng
082 _a511.3 H199P
100 _aHao, Wang
245 0 _aPopular lectures on mathematical logic /
_cHao, Wang
942 _2ddc
_cBK
999 _c14077
_d14077