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

رقم:

مقدم:

كابتشا:

  ______     ___     __   __     ___     _    _   
 /_   _//   / _ \\   \ \\/ //   / _ \\  | || | || 
 `-| |,-   | / \ ||   \   //   | / \ || | || | || 
   | ||    | \_/ ||   / . \\   | \_/ || | \\_/ || 
   |_||     \___//   /_//\_\\   \___//   \____//  
   `-`'     `---`    `-`  --`   `---`     `---`

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

أرسل هذا في رسالة قصيرة: Theorem Proving in Higher Order Logics