تاریخ منطق اصطلاحنامه منطق English North Holland;Elsevier 2014 کتابچه تاریخ منطق. جلد 9، منطق محاسباتی text گِبِی, داو ام. (Dov M. Gabbay؛ منطقدان) Author وودز, جان (John Woods؛ منطقدان و فیلسوف کانادایی ، University of British Columbia) Author سیکمان, جرج ( Jörg H Siekmann، رده : منطق و هوش مصنوعی), 1941# 1941# Author Gabbay, Dov M., Siekmann, Jörg H., Woods, John Hayden Author book portal_lib 1399-09-22 1401-05-30