000 00290nam a22000977a 4500
082 _a004.0151
_bNIE.L
100 _aNievergelt, Y Ves
245 _aLogic, Mathematics and computer science: Modern foundations with practical applications
260 _aNew York
_bSpringer
_c2015
942 _cBK
999 _c212532
_d212532