000 00255nam a2200109 4500
008 160616s 000 0
245 _aLanguage logic and mathematics
100 _aKilmister, C.W
500 _aB K76
942 _cBK
_2BK2177
080 _a510.6 KIL
999 _c2177
_d2177