00000na 22 1 4506854292014North Holland;Elsevier کتابچه تاریخ منطق. جلد 9، منطق محاسباتی کتاب راهنمای تاریخ منطق. جلد 9، منطق محاسباتی [کتاب انگلیسی]Handbook of the history of logic. Vol. 09. Computational logicGabbay, Dov M., Siekmann, Jörg H., Woods, John Haydenbookportal_libbookportal_libEnglish