00233nam a2200097Ia 4500080001800000100002100018245003000039260003600069300001100105583001900116  a18.08.01 K885  aKowalski, Robert  aLogic for problem solving  bNorth HollandaNew YorkUSc1979  a287 p.  c3/7/00kM2LMGR