أرسل هذا في رسالة قصيرة

رقم:

مقدم:

كابتشا:

 _    _    _    _    ______     _____             
| \  / || | || | || |      \\  |  ___||     ___   
|  \/  || | || | || |  --  //  | ||__      /   || 
| .  . || | \\_/ || |  --  \\  | ||__     | [] || 
|_|\/|_||  \____//  |______//  |_____||    \__ || 
`-`  `-`    `---`   `------`   `-----`      -|_|| 
                                             `-`

يرجى إدخال ما تراه::

أرسل هذا في رسالة قصيرة: Applied proof theory : proof interpretations and their use in mathematics