English Unordered ACM Transactions on Computational Logic Japaridze, Giorgi 2006 April 01 مشاهدهٔ کتاب
