کتاب مبانی اثبات خودکار قضایا و روشهای نوین اعتبارسنجی در سامانههای منطقی
249,950 تومان
در صورت خرید اقساطی هر قسط: 62,488 تومان