發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

發送短信 : A labelled sequent calculus for BBI : proof theory and proof search