العربية  

books deduction in contemporary mathematical logic

If you do not find what you're looking for, you can use more accurate words.