العربية  

books in the mathematical logic of defining the deductive system

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