00262nam a2200109Ia 450000500170000008000180001710000210003524500300005626000360008630000110012258300190013320260716043036.0  a18.08.01 K885  aKowalski, Robert  aLogic for problem solving  bNorth HollandaNew YorkUSc1979  a287 p.  c3/7/00kM2LMGR