000 00402nam a2200169Ia 4500
001 11313
003 IN-NITTTR
005 20251114233105.0
008 251113s9999||||xx |||||||||||||| ||eng||
040 _beng
040 _cIN-NITTTR
041 _aeng
082 _a511.3 C937F
100 _aCurry, Haskell B.
245 0 _aFoundations of mathematical logic. /
_cCurry, Haskell B.
942 _2ddc
_cBK
999 _c13949
_d13949