000 00504nam a2200181 4500
008 160616s2014 000 0
245 _aDavid Makinson on classical methods for non classical problems
100 _aHansson, Sven Ove, Ed.,
260 _aNew york
260 _bSpringer
260 _c2014
300 _a433
440 _aOutstanding contributions to logic ; 00003
020 _a9789400777583
650 _aClassical methods
_aSeries
942 _cBK
_2BK27008
080 _a530.1 HAN
999 _c27008
_d27008