TY - BOOK AU - Turner,Raymond TI - Logic for artificial inteligence SN - 0521373247 U1 - 004.383.8 TUR CY - New York PB - John wiley & sons ER -