کتاب صوتی مبانی اثبات خودکار قضایا و روشهای نوین اعتبارسنجی در سامانههای منطقی
499,850 تومان
در صورت خرید اقساطی هر قسط: 124,963 تومان
