TY - BOOK A1 - \ [edited by] Martin Aher...[et.al] TI - Logic, language, and computation PB - کتابخانه زبانهای خارجی و منابع اسلامی SN - 88356022 UR /book/88356022/Logic-language-and-computation/ ER -