000 00261nam a2200109 4500
008 160616s 000 0
245 _aFoundations of mathematical logic
100 _aCurry, Haskell B
500 _aB31 K3
942 _cBK
_2BK903
_02
080 _a510.6 CUR
999 _c903
_d903