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

رقم:

مقدم:

كابتشا:

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

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

أرسل هذا في رسالة قصيرة: A labelled sequent calculus for BBI : proof theory and proof search