بدون تصویر جلد English Unordered ACM Transactions on Computational Logic Bauer, Matthew S. 2014 March 06 مشاهدهٔ کتاب
