دانلود فایل منبع Математическая логика и автоматическое доказательство теорем
. این منبع (کتاب) توسط Чень Ч., Ли Р. نوشته شده و
است و منتشر شده در سال 1983 می باشد