發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

發送短信 : DECIDABILITY OF FIRST ORDER LOGIC OF BOOLEAN ALGEBRAS