چند کتاب منطق مربوط به علوم کامپیوتر و کتاب منطق اندرتون به بخش کتابهای منطق اضافه شد