العربية  

books formal logic or the calculus of inference necessary and probable

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